RDF Semantics and vocabularies and datatype entailments

Hi Pat

my colleague David Turner has been going over OWL Semantics with a 
toothcomb, and asked me a question about datatype entailments that I can 
track back to questions about RDF semantics, and then I get stuck.

So, an example RDF test case is:

eg:foo eg:bar "10"^^xsd:integer .

D-entails and is D-entailed by


eg:foo eg:bar "010"^^xsd:integer .

or, an OWL test case, such as

which is a positive entailment, with
in the conclusions, but no such literal in the premises.

However, D-entailment is defined as:
S D-entails E when every D-interpretation which satisfies every member 
of S also satisfies E.

and then
D-interpretation at
requires the value space of the datatype to be a subset of LV, but does 
not require (as far as I can see) that the lexical space is part of the 

This would suggest that the model theory and the tests are not in 
agreement. Since, according to the model theory there are 
D-interpretations of
eg:foo eg:bar "10"^^xsd:integer .
which do not contain "010"^^xsd:integer in the vocabulary, etc.

Have I misread something, or is this a bug?


Hewlett-Packard Limited
registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England

Received on Wednesday, 9 May 2007 13:39:28 UTC