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

>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