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

A comment on rdfs-interpretation

From: Qu Yuzhong <yzqu@seu.edu.cn>
Date: Wed, 6 Mar 2002 20:28:27 +0800
Message-ID: <003701c1c50a$6bb8c2e0$2c0f77ca@proxy.seu.edu.cn>
To: <www-rdf-comments@w3.org>
As to the definition of rdfs-interpretation in RDF Model Theory, 
The conditions on IEXT(I(rdfs:domain)) and IEXT(I(rdfs:range)) should be adjusted as follows:

1. Besides <I(rdfs:domain), I(rdf:Property)>, <I(rdfs:range), I(rdf:Property)> and  <I(rdf:type), I(rdfs:Resource)>, IEXT(I(rdfs:domain)) should contains
<I(rdfs:subClassOf), I(rdfs:Class)>, <I(rdfs:subPropertyOf), I(rdf:Property)> 

2. Besides <I(rdfs:domain), I(rdfs:Class)>, <I(rdfs:range), I(rdfs:Class)> and  <I(rdf:type), I(rdfs:Class)>, IEXT(I(rdfs:range)) should contains <I(rdfs:subClassOf), I(rdfs:Class)>, <I(rdfs:subPropertyOf), I(rdf:Property)>.

These missing pairs correspond to the triples in the rdfs-closure. 

rdfs:subClassOf rdfs:domain rdfs:Class
rdfs:subPropertyOf rdfs:domain rdf:Property

rdfs:subClassOf rdfs:range rdfs:Class
rdfs:subPropertyOf rdfs:range rdf:Property

Thanks for your concern!

Michael (Yu-Zhong) Qu 
Received on Wednesday, 6 March 2002 07:34:05 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:43:59 UTC