- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 8 Nov 2002 16:00:17 -0600
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: w3c-rdfcore-wg@w3.org, fmanola@attbi.com
Anyone on the WG, do y'all agree with Peter at @@@ below?? If someone says yes and nobody objects, I will put these entailments into the MT. You have until the end of Monday. -Pat >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. Hmmm, not sure I agree. I'm perfectly happy for a property to have no domain or range. The strengthened OWL rules for d&r will insert the rdfs:Resource ranges automatically in any case, given the rdfs4 rules and a bit of OWL reasoning. >I think that it is worst to give some properties a >domain or range or rdfs:Resource and others no domain or range. I agree about that, it needs tidying up and we should go one way or the other. My own preference would be to just not mention vacuous domains and ranges at all. Other lines below have comments. > >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 . * follows from (x a CMP -> x subprop rdfs:member) and domain of subproperty. >rdf:_n rdfs:domain rdfs:Resource . * >rdf:_n rdfs:range rdfs:Resource . * > >rdf:List rdf:type rdfs:Class . * Fixed > >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 . * Fixed >rdfs:XMLLiteral rdfs:subClassOf rdfs:Literal . consequence of above and new rule 11 > >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 . * @@@ I don't like the above. I don't think seeAlso *is* a property; if it is, what's in its property extension?? I wasn't aware of that subproperty connection: is there a source for that? > > >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 . Invalid, given the restriction on subClassOf to classes. The old rule 7 is correct. > > >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 . Added. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Friday, 8 November 2002 17:00:01 UTC