W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

Re: bug in RDF model theory having to do with rdfs:subClassOf and rdfs:subPropertyOf

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 21 Sep 2002 06:45:58 -0400 (EDT)
Message-Id: <20020921.064558.68545911.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org

I was wrong in my initial speculation that making the semantic constraint for
rdfs:subClassOf an iff constraint would not have RDFS-observable
consequences.

If the semantic constraint for rdfs:subClassOf is changed to an iff
constraint then

	rdf:type rdfs:domain foo .

would entail

	rdfs:Resource rdfs:subClassOf foo.


Peter F. Patel-Schneider
Bell Labs Research
Received on Saturday, 21 September 2002 06:46:06 GMT

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