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:

http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003a.nt
i.e.
eg:foo eg:bar "10"^^xsd:integer .

D-entails and is D-entailed by

http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/test003b.nt

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

or, an OWL test case, such as
http://www.w3.org/TR/owl-test/byIssue#I5.8-004

which is a positive entailment, with
"5"^^xsd:byte
in the conclusions, but no such literal in the premises.

However, D-entailment is defined as:
http://www.w3.org/TR/rdf-mt/#D_entailment
[[
S D-entails E when every D-interpretation which satisfies every member 
of S also satisfies E.
]]

and then
D-interpretation at
http://www.w3.org/TR/rdf-mt/#defDinterp
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 
vocabulary.

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?

Jeremy


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