
RDF Formal Semantics 103
can be used to add the respective subclass relation to the set of axiomatic
triples.
If the mentioned preconditions are satisfied, the above de du ction rules lead
to valid conclusions. However, there is no guarantee that all semantic conse-
quences can be created by virtue of those deduc tion rules.
For instance, in any D-interpretation that supports all XML datatypes ad-
missible for RDF and that satisfies the triples
u rdf:type xsd:nonNegativeInteger .
u rdf:type xsd:nonPositiveInteger .
also the triple
u rdf:type xsd:byte .
must hold. Yet, it cannot be derived from the given rules.
Likewise it would be possible to use the characteristics ...