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:32:48 -0600
To: pfps@research.bell-labs.com
Cc: www-archive@w3.org
Message-Id: <1008351169.4219.17.camel@shoal>
On Fri, 2001-12-14 at 11:17, Peter F. Patel-Schneider wrote:
[...]
> The Basic Problem:
> 
> SWOL is supposed to be an extension of RDF.  As such, the semantics of SWOL
> should be upward compatible with the semantics of RDF.  That is, that SWOL
> entailment reduces to RDF entailment on RDF knowledge bases.

Why do you say that?

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

p.s. this mailer doesn't seem to be doing The Right Thing
with reply-to. Sorry.

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

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