a question on RDF-MT

Hi,

I've just read the RDF Model Theory and I am not clear about the
following point. Because I can't browse the W3C's public archive, please
accept my appologize if this issue has been raised before.

Section 3.1 and 3.3 described the conditions/requirements on RDF(S)
interpretations. The only requirement imposed by them on rdfs:subClassOf
and rdfs:subPropertyOf is that their interpretations are in the set IP.
From this point, I can't see why the following triples are always true
in any rdfs-interpretation:

[rdfs:subClassOf] [rdfs:domain] [rdfs:Class] .
[rdfs:subClassOf] [rdfs:range] [rdfs:Class] .
[rdfs:subPropertyOf] [rdfs:domain] [rdf:Property] .
[rdfs:subPropertyOf] [rdfs:range] [rdf:Property] .

The above triples are added as being always true in the first rule
described in section 4.2.

Can anyone help me on this ?  Thanks in advance.

-- 
Lei Zhang, mailto:zhanglei@cs.sjtu.edu.cn, tel:+86-21-62932916
PhD candidate, CSE, Shanghai JiaoTong University. Shanghai, China.

Received on Thursday, 31 October 2002 07:45:54 UTC