- From: pat hayes <phayes@ai.uwf.edu>
- Date: 2003年5月28日 21:52:57 -0500
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: www-rdf-comments@w3.org
- Message-Id: <p05210617bafb2346e90f@[10.0.100.24]>
Peter Re. your comment http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0090.html archived as pfps-05 http://www.w3.org/2001/sw/RDFCore/20030123-issues/#pfps-05 The WG has decided to accept this comment: http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003May/0199.html The closure rules have been rewritten and now contain a rule rdfs1 in section 4.2 http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#dtype_interp which addresses the lacuna that you noted. The exact derivation is as follows: using rdfs1 + rdfs3 + rdfs7a + rdfs9 rdfs:subClassOf rdfs:range rdfs:Class . (sect 3.3 axiom) rdf:XMLLiteral rdfs:subClassOf rdfs:Literal . (sect 3.3 axiom) rdfs:Literal rdf:type rdfs:Class . (by rdfs3) rdfs:Literal rdfs:subClassOf rdfs:Resource . (by rdfs7a) ex:foo ex:prop "a" . ex:foo ex:prop _:x . _:x rdf:type rdfs:Literal . (by rdfs1 ) _:x rdf:type rdfs:Resource . (by rdfs9) Please respond to this message, copying to www-rdf-comments@w3.org, to indicate if this response is satisfactory. Pat Hayes -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 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 Wednesday, 28 May 2003 22:53:00 UTC