Re: ISSUE 5.18 Unique Names Assumption Support in OWL

On Thu, 2002-10-24 at 06:59, Peter F. Patel-Schneider wrote:
> On looking at I realize that the
> intended meanings of the resources in the log: namespace are inherently
> broken.

No, they are as designed.

Perhaps they're not what you would prefer nor what you
would expect. That doesn't make them broken.

>  For example, log:notEqualTo works on the identifier (URI
> (reference)) of its arguments, something completely outside the bounds of
> standard logic. 

Yes, that surprised me too.

> 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.

Not all descriptions of cwm have this problem.

Dan Connolly, W3C

Received on Thursday, 24 October 2002 09:44:44 UTC