- From: <herman.ter.horst@philips.com>
- Date: Tue, 2 Dec 2003 20:06:46 +0100
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: horrocks@cs.man.ac.uk, 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? This change was made in response to my comment. [...] Herman
Received on Tuesday, 2 December 2003 14:14:43 UTC