- 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