- 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
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