W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

Re: ISSUE 5.18 Unique Names Assumption Support in OWL

From: Dan Connolly <connolly@w3.org>
Date: 24 Oct 2002 08:44:51 -0500
To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
Cc: jos.deroo.jd@belgium.agfa.com, www-webont-wg@w3.org
Message-Id: <1035467092.9851.8731.camel@dirk>

On Thu, 2002-10-24 at 06:59, Peter F. Patel-Schneider wrote:
[...]
> 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.

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 http://www.w3.org/People/Connolly/
Received on Thursday, 24 October 2002 09:44:44 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:53 GMT