Re: About RDFS axiomatic triples

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