W3C home > Mailing lists > Public > www-archive@w3.org > December 2001

Re: UPDATE: initial message concerning syntax

From: Dan Connolly <connolly@w3.org>
Date: 14 Dec 2001 11:57:47 -0600
To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
Cc: www-archive@w3.org
Message-Id: <1008352668.4234.23.camel@shoal>
On Fri, 2001-12-14 at 11:43, Peter F. Patel-Schneider wrote:
[...]
> Because that is how it should work.  Do you really want SWOL entailment to
> be different from RDF entailment on RDF documents?

Yes; I expect the SWOL semantics to make more conclusions valid.

> > I'd say SWOL entailment reduces to FOL entailment (less
> > the excluded middle).
> 
> SWOL entailment does exclude the middle.

Er... argument by assertion. I can do that too:
No, it does not.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 14 December 2001 12:57:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:15 GMT