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