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