- From: Li Ding <dingl@cs.rpi.edu>
- Date: Sun, 13 Jul 2008 20:51:58 -0400
- To: "Wei Tai" <taiw@cs.tcd.ie>
- Cc: semantic-web@w3.org
Wei, 1. you triple has been included in http://www.w3.org/1999/02/22-rdf-syntax-ns# . <rdfs:Class rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"> <rdfs:isDefinedBy rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/> <rdfs:label>List</rdfs:label> <rdfs:comment>The class of RDF Lists.</rdfs:comment> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdfs:Class> 2. you can surely infer that according to RDF semantics specification section 4.1, http://www.w3.org/TR/rdf-mt/#rdfs_interp since the following triple must be true in all rdfs-interpretations rdf:List rdf:type rdfs:Class . you can infer your triple using the following RDFS semantic condition IC = ICEXT(I(rdfs:Class)) If x is in IC then <x, I(rdfs:Resource)> is in IEXT(I(rdfs:subClassOf)) best, Li On Sun, Jul 13, 2008 at 5:59 PM, Wei Tai <taiw@cs.tcd.ie> wrote: > > Hi All, > > I notice that the RDFS axiomatic triple set provided by the document "RDF > semantics" do not contain the triple > rdf:List rdfs:subClassOf rdfs:Resource > , but I can not infer this triple out from other existing triples in that > set. Do I miss something or we should add this triple into that axiomatic > triple set? > > Thank and Best Regards > Wei > > -- > Wei Tai > > > > > -- Li Ding http://www.cs.rpi.edu/~dingl/
Received on Monday, 14 July 2008 00:52:37 UTC