Re: iff

Hmm.  Under this reasoning

ex:foo rdf:type owl:Restriction .
ex:foo owl:onProperty rdf:type .
ex:foo owl:hasValue rdfs:Class .

implies

ex:foo rdfs:subClassOf rdfs:Class.

I don't think so.

peter

Received on Friday, 18 April 2003 13:13:33 UTC