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

Some comments about the relationships between rdfs:subPropertyOf and rdfs:domain(rdfs:range)

From: lsp <lsp@is.pku.edu.cn>
Date: Wed, 3 Dec 2003 02:04:12 +0800
To: <www-rdf-comments@w3.org>
Message-ID: <000001c3b8fe$b0ca2e70$ab4669a2@tcl.is.pku.edu.cn>
Hi,
 
I have some comments about rdfs:subPropertyOf:
1) if  (R rdfs:subPropertyOf S) 
     (R rdfs:domain C1)  (R rdf:range D1)
     (S rdfs:domain C2)  (S rdf:range D2)
  can we infer that  (C1 rdfs:subClassOf C2) && (D1 rdfs:subClassOf D2)?
 
I believe the result can be easily inferred by the RDF Model Theory, but
there is no rule in the RDFS closure rules
to show this inference. 
 
2) rdf schema allows one rdf:Property has multiple rdfs:domain and
rdfs:range,  and  the resulted domain and range is
considered as intersection. But RDF schema specification didn't say much
what about have zero rdfs:domain or rdfs:range,
this arise some confusion.
 
a)       is zero rdfs:domain or rdfs:range declaration is legit in rdf
schema?
b)       If zero rdfs:domain declaration means that the property's
domain is rdfs:Resource, there is a problem: if the property's
superproperty 
's domain is declared as Class C1, then we can conclude the propery's
domain is a subclass of C1, but not rdfs:Resource.
c)       What is the meaning of zero rdfs:range declaration?
 
 
Thanks!
 
Liu shengping
 
Received on Tuesday, 2 December 2003 13:08:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:33 GMT