W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: missing (and incorrect) RDFS axioms

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 08 Nov 2002 13:53:14 -0500 (EST)
Message-Id: <20021108.135314.05347665.pfps@research.bell-labs.com>
To: phayes@ai.uwf.edu
Cc: w3c-rdfcore-wg@w3.org, fmanola@attbi.com

Here are some more changes (marked by *).  They may not completely
correspond to your most-recent changes.  Some of the axioms are changes to
both the definition of rdfs-interpretations and rdfs closure.

There is an issue here with respect to domains and ranges that are
rdfs:Resource.  I think that it would be best to given domains and ranges
for all properties.  I think that it is worst to give some properties a
domain or range or rdfs:Resource and others no domain or range.

peter


rdf:type 	rdf:type    rdf:Property .
rdf:type	rdfs:domain rdfs:Resource .		
rdf:type	rdfs:range  rdfs:Class .

rdf:Property	rdf:type    rdfs:Class .

rdf:Statement	rdf:type    rdfs:Class .

rdf:subject	rdf:type    rdf:Property .
rdf:subject	rdfs:domain rdf:Statement .
rdf:subject	rdfs:range  rdfs:Resource .		*

rdf:predicate	rdf:type    rdf:Property .
rdf:predicate	rdfs:domain rdf:Statement .
rdf:predicate	rdfs:range  rdfs:Resource .		*

rdf:object	rdf:type    rdf:Property .
rdf:object	rdfs:domain rdf:Statement .
rdf:object	rdfs:range  rdfs:Resource .		*

rdf:Seq		rdf:type    rdfs:Class .
rdf:Bag		rdf:type    rdfs:Class .
rdf:Alt		rdf:type    rdfs:Class .

rdf:_n		rdf:type    rdf:Property .		*
rdf:_n		rdfs:domain rdfs:Resource .		*
rdf:_n		rdfs:range  rdfs:Resource .		*

rdf:List 	rdf:type    rdfs:Class .		*

rdf:first	rdf:type    rdf:Property .
rdf:first	rdfs:domain rdf:List .
rdf:first	rdfs:range  rdfs:Resource .		*

rdf:rest	rdf:type    rdf:Property .
rdf:rest	rdfs:domain rdf:List .
rdf:rest	rdfs:range  rdf:List .

rdf:nil		rdf:type    rdf:List .

rdfs:Resource	rdf:type    rdfs:Class .
rdfs:Class	rdf:type    rdfs:Class .
rdfs:Literal	rdf:type    rdfs:Class .
rdfs:XMLLiteral rdf:type    rdfs:Class .
rdfs:Datatype	rdf:type    rdfs:Class .

rdfs:domain	rdf:type    rdf:Property .
rdfs:domain	rdfs:domain rdf:Property .
rdfs:domain	rdfs:range  rdfs:Class .

rdfs:range	rdf:type    rdf:Property .
rdfs:range	rdfs:domain rdf:Property .
rdfs:range	rdfs:range  rdfs:Class .

rdfs:subPropertyOf rdf:type    rdf:Property .
rdfs:subPropertyOf rdfs:domain rdf:Property .
rdfs:subPropertyOf rdfs:range  rdf:Property .

rdfs:subClassOf    rdf:type    rdf:Property .
rdfs:subClassOf	   rdfs:domain rdfs:Class .
rdfs:subClassOf	   rdfs:range  rdfs:Class .

rdf:CMP		   rdfs:subClassOf rdfs:Property .
rdf:_n		   rdfs:type	   rdf:CMP .
rdf:_n		   rdfs:domain     rdfs:Resource .	*
rdf:_n		   rdfs:range	   rdfs:Resource .	*

rdfs:XMLLiteral	   rdf:type	   rdfs:Datatype .	*
rdfs:XMLLiteral	   rdfs:subClassOf rdfs:Literal .

rdfs:comment	   rdf:type	   rdf:Property 
rdfs:comment	   rdfs:domain	   rdfs:Resource .	*
rdfs:comment	   rdfs:range	   rdfs:Literal .	*

rdfs:name	   rdf:type	   rdf:Property .	*
rdfs:name	   rdfs:domain	   rdfs:Resource .	*
rdfs:name	   rdfs:range	   rdfs:Literal .	*

rdfs:seeAlso	   rdf:type	   rdf:Property .	*
rdfs:seeAlso	   rdfs:domain	   rdfs:Resource .	*
rdfs:seeAlso	   rdfs:range	   rdfs:Resource .	*

rdfs:isDefinedBy   rdf:type	   rdf:Property .	*
rdfs:isDefinedBy   rdfs:domain	   rdfs:Resource .	*
rdfs:isDefinedBy   rdfs:range	   rdfs:Resource .	*
rdfs:isDefinedBy   rdfs:subPropertyOf rdfs:seeAlso .	*


rdf1	xxx aaa yyy .			aaa rdf:type	    rdf:Property .

rdfs4a	xxx aaa yyy .			xxx rdf:type        rdfs:Resource .
rdfs4b	xxx aaa uuu .			uuu rdf:type	    rdfs:Resource .
rdfs7*	xxx rdf:type rdfs:Resource.	xxx rdfs:subClassOf rdfs:Resource .


rdfs2	xxx aaa yyy .			xxx rdf:type zzz .
	aaa rdfs:domain zzz .	

rdfs3	xxx aaa uuu .			uuu rdf:type zzz .
	aaa rdfs:range zzz .	


rdfs5	aaa rdfs:subPropertyOf bbb.	aaa rdfs:subPropertyOf ccc .
	bbb rdfs:subPropertyOf ccc.	

rdfs6	xxx aaa yyy .			xxx bbb yyy .		
	aaa rdfs:subPropertyOf bbb.	

rdfs8	aaa rdfs:subClassOf bbb.	aaa rdfs:subClassOf ccc .
	bbb rdfs:subClassOf ccc.	

rdfs9	xxx rdfs:subClassOf yyy .	aaa rdf:type yyy .
	aaa rdf:type xxx .


rdfs10	xxx rdf:type rdfs:CMP .		xxx rdfs:subPropertyOf rdfs:member .


x11*	xxx rdf:type rdfs:Datatype .	xxx rdfs:subClassOf rdfs:Literal .
Received on Friday, 8 November 2002 13:53:25 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:01 EDT