- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 14 Dec 2001 13:01:00 -0500
- To: connolly@w3.org
- Cc: www-archive@w3.org
From: Dan Connolly <connolly@w3.org> Subject: Re: UPDATE: initial message concerning syntax Date: 14 Dec 2001 11:57:47 -0600 > 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. Name some. > > > 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. I'm not making an argument by assertion, just stating a simple fact that can easily be determined from a quick perusal of the appropriate documents. > -- > Dan Connolly, W3C http://www.w3.org/People/Connolly/ peter
Received on Friday, 14 December 2001 13:01:09 UTC