[...]
> > That is achieved with an inference rule such as
> > http://www.agfa.com/w3c/euler/owl-rules#rule10d1
> > 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,
the
> whole problem is determining whether x is indeed not equal to y. The
rule
> also appears to be doing something illegal with URI references in its use
of
> log:racine.
it indeed looks into URI references
for the rest I think the rule is OK
w.r.t. http://www.w3.org/2000/10/swap/log
> On looking at http://www.w3.org/2000/10/swap/log.n3 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
Palmer
> states that CWM is, in some sense, a forward chaining first-order
predicate
> logic inference engine. However, if CWM is a reasoner over some logic,
> then the logic is a highly unusual intensional logic, and not any
standard
> 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 http://www.agfa.com/w3c/jdroo/