- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 08 Nov 2002 13:53:14 -0500 (EST)
- 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 UTC