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

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

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
Message-ID: <OF13D7DBFB.71E0BCAB-ONC1256DF0.00678ABE-C1256DF0.00690B03@diamond.philips.com>

>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 GMT

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