- From: Richard Smith <richard@ex-parrot.com>
- Date: Fri, 2 Mar 2018 20:07:41 +0000 (GMT)
- To: semantic-web@w3.org
- Message-ID: <alpine.LRH.2.02.1803021933300.9860@sphinx.mythic-beasts.com>
Suppose I have two XML Schema simple types that are suitable for use with RDF, one of which is derived by restriction from the other. A simple example might be xsd:integer which is derived from xsd:decimal. These are both datatypes in RDF, that is, we can say: xsd:decimal a rdfs:Datatype . xsd:integer a rdfs:Datatype . And RDF Schmea tells us that all instances of rdfs:Datatypes are subclasses of rdfs:Literal, so: xsd:decimal rdfs:subClassOf rdfs:Literal . xsd:integer rdfs:subClassOf rdfs:Literal . My question is this: can I use the fact that the xsd:integer simple type derives by restriction from xsd:decimal to say that there is a rdfs:subClassOf relation between them? I.e. is the following true? xsd:integer rdfs:subClassOf rdfs:decimal . Intuitively it seems like it ought to be, but I'm struggling to find chapter and verse saying this is so. The examples in §7.2.1 of RDF 1.1 Semantics tells us that any valid statement of the form ex:a ex:p "sss"^^xsd:decimal . D-entails ex:a ex:p "sss"^^xsd:integer . And §2 of RDF Schema 1.1 says "If a class C is a subclass of a class C', then all instances of C will also be instances of C'", but it does not say the converse is true. All instances of xsd:integer are also instances of xsd:decimal, but can we say xsd:integer is a subclass of xsd:decimal? Richard
Received on Friday, 2 March 2018 20:10:42 UTC