Re: UPDATE: initial message concerning syntax

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