Re: ISSUE 5.18 Unique Names Assumption Support in OWL


> > That is achieved with an inference rule such as
> >
> > which implies the ?x owl:differentIndividualFrom ?y
> > (instead of giving an order of faculty(n) facts).
> Unfortunately this rule won't (or, at least, shouldn't) do anything.  It
> says that if x /= y then x and y are different individuals.  Of course,
> whole problem is determining whether x is indeed not equal to y.  The
> also appears to be doing something illegal with URI references in its use
> log:racine.

it indeed looks into URI references
for the rest I think the rule is OK

> On looking at I realize that the
> intended meanings of the resources in the log: namespace are inherently
> broken.  For example, log:notEqualTo works on the identifier (URI
> (reference)) of its arguments, something completely outside the bounds of
> standard logic.
> This brings up a serious problem with the descriptions of CWM.  Sean
> states that CWM is, in some sense, a forward chaining first-order
> logic inference engine.   However, if CWM is a reasoner over some logic,
> then the logic is a highly unusual intensional logic, and not any
> first-order logic.

there are indeed intensional aspects here
(we have another one for (<uriP> ...) log:implies <uriC>
which does dereferencing)

-- ,
Jos De Roo, AGFA

Received on Thursday, 24 October 2002 11:28:58 UTC