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