W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Re: new version of S&AS in response to changes to RDF model theory

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 23 Jul 2003 21:22:19 -0400 (EDT)
Message-Id: <20030723.212219.123585707.pfps@research.bell-labs.com>
To: connolly@w3.org
Cc: www-webont-wg@w3.org

From: Dan Connolly <connolly@w3.org>
Subject: Re: new version of S&AS in response to changes to RDF model theory
Date: 23 Jul 2003 15:40:28 -0700

> On Wed, 2003-07-23 at 10:40, Peter F. Patel-Schneider wrote:
> > A new version of S&AS is available at
> > http://www-db.research.bell-labs.com/user/pfps/owl/semantics/
> > that contains fixes in response to the announced changes in the RDF model
> > theory to make rdfs:subClassOf and rdfs:subPropertyOf non-extensional and
> > to not create type triples for collections.
> > 
> > The first is needed to make the OWL semantics work out right.  The second
> > is not needed, but does mean that rdf:parseType="Collection" (or whatever)
> > constructs will not necessarily not be in OWL DL.
> > 
> > I also note that there is at least one other significant change to the RDF
> > model theory that may impact OWL.  Predicates no longer need to be
> > resources in RDF.
> 
> Huh? I don't recall any such change. Can you help me find
> what suggests to you that there has been such a change?
> 
> >   I believe that this change has not been announced and
> > that it is not in response to problems with the RDF model theory.
> > 
> > peter
> 
> -- 
> Dan
> 

See the last paragraph of the change list for starters.  The change itself
is in the definition of simple interpretations.

peter
Received on Wednesday, 23 July 2003 21:22:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT