W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

[closed] pfps-05

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 28 May 2003 21:52:57 -0500
Message-Id: <p05210617bafb2346e90f@[10.0.100.24]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-comments@w3.org
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT