W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2002

a question on RDF-MT

From: zhang lei <zhanglei@cs.sjtu.edu.cn>
Date: 31 Oct 2002 20:45:05 +0800
To: www-rdf-comments@w3.org
Cc: www-rdf-logic@w3.org
Message-Id: <1036068306.15765.33.camel@APEX-027>


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:50:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:01 UTC