yet another non-entailment (was Re: another revision of semantics document)

John rdf:type owl:Thing .

does not entail

John rdf:type _:x .
_:x owl:oneOf _:l .
_:l owl:first John .
_:l owl:rest owl:nil .

Received on Wednesday, 21 August 2002 13:57:24 UTC