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

Re: missing (and incorrect) RDFS axioms

From: Dan Brickley <danbri@w3.org>
Date: Fri, 8 Nov 2002 14:40:57 -0500 (EST)
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
cc: <phayes@ai.uwf.edu>, <w3c-rdfcore-wg@w3.org>, <fmanola@attbi.com>
Message-ID: <Pine.LNX.4.30.0211081439530.26938-100000@tux.w3.org>



> rdf:object	rdfs:range  rdfs:Resource .		*

...did we agree that all literals are resources?

On Fri, 8 Nov 2002, Peter F. Patel-Schneider wrote:

>
> 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 14:41:02 EST

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