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

Re: Changes to make S&AS consistent with RDF Semantics document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 02 Dec 2003 13:18:27 -0500 (EST)
Message-Id: <20031202.131827.128758082.pfps@research.bell-labs.com>
To: horrocks@cs.man.ac.uk
Cc: herman.ter.horst@philips.com, www-webont-wg@w3.org

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Subject: Re: Changes to make S&AS consistent with RDF Semantics document
Date: Tue, 2 Dec 2003 18:07:18 +0000

> On December 2, Peter F. Patel-Schneider writes:
> > From: herman.ter.horst@philips.com
> > Subject: Re: Changes to make S&AS consistent with RDF Semantics document
> > Date: Tue, 2 Dec 2003 17:31:09 +0100
> 
> [snip]
> 
> > My suggestion would be to weaken the corollary, adding the condition that
> > the corollary only holds when the datatype map includes the RDF mapping for
> > rdf:XMLLiteral.  Other theorems would have to be similarly changed.
> 
> I already changed the theorem to say:
> 
> Given a datatype map D that maps xsd:string and xsd:integer to the
> appropriate XML Schema datatypes and that includes the RDF mapping for
> rdf:XMLLiteral, then O entails O' with respect to D if and only if the
> translation (Section 4.1) of O OWL DL entails the translation of O'
> with respect to D.

Hmm.  What then is Herman commenting on?


> > > (Section 3.1: second bulleted condition:)
> > > >-It is now assumed that LV contains each Unicode string
> > > >and each pair of two Unicode strings.
> > 
> > This should actually be weakened to pairs of Unicode strings and language
> > tags, or whatever the RDF model theory says.  Again this is something that
> > has undergone recent change in the RDF model theory.
> > 
> > > >For the correspondence with Section 5, it would be
> > > >sufficient to assume only that plain literals in
> > > >V (and L) are contained in LV.
> > > On further reflection, it seems that not only the assumption
> > > about plain literals but also the assumption about
> > > typed literals could be weakened.
> > > The condition could be rephrased, for example, as follows:
> > > "LV, the literal values of I, is a subset of R that
> > > contains the values of plain literals in V, and,
> > > for each datatype d in D and well-typed literal
> > > "v"^^d in V, the value L2V(d)(v)."
> > 
> > Part of this would work, except that it would have to refer to the RDF
> > model theory to pick up the ``value'' for literals.  I would oppose
> > weaking the requirement that all values (and not just mentioned values)
> > appear in LV.  I think that it is a mistake for the RDF model theory to be
> > worded this way.
> 
> I already changed this to say:
> 
> LV, the literal values of I, is a subset of R that contains at least
> all the values for plain literals in V and the value spaces for each
> datatype in D
> 
> Do you want to strengthen this so that LV includes all literal values?

Yes, I would like to not have it changed.

> Ian

peter
Received on Tuesday, 2 December 2003 13:21:35 GMT

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