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 : Monday, 7 July 2008 08:08:29 GMT