Comment on Last Call Working Draft of RDF Semantics document concerning RDFS closure rules

The closure rules for RDFS are incomplete.  For example,
    ex:foo ex:prop "a" .
RDFS-entails
    ex:foo ex:prop _:x .
    _:x rdf:type rdfs:Resource .
However, this does not come out of the RDFS closure rules.
This means that the RDFS entailment lemma is false.

Received on Friday, 24 January 2003 17:20:22 UTC