[closed] pfps-05

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