W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

Re: revised version of semantics document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 20 Aug 2002 09:46:50 -0400
To: phayes@ai.uwf.edu
Cc: www-webont-wg@w3.org
Message-Id: <20020820094650R.pfps@research.bell-labs.com>


The revised version of the semantics document also has serious flaws, at
least as far as I can see.


For example, as far as I can see

	John rdf:type Student .
	John rdf:type Employee .

does not entail

	John rdf:type _:x .
	_:x intersectionOf _:l1 .
	_:l1 owl:first Student .
	_:l1 owl:rest _:l2 .
	_:l2 owl:first Employee .
	_:l2 owl:rest owl:nil .

because there is no requirement that there be an element of the domain of
discourse whose class extension is the intersection of Student and
Employee.


Also, again as far as I can see

	John friend Susan .

does not entail

	John rdf:type _:x .
	_:x owl:onProperty friend .
	_:x owl:minCardinality 1 .

As far as I can see, IRP does not help to produce any restrictions.


Also, again as far as I can see

	John rdf:type _:y .
	_:y owl:complementOf _:x .
	_:x unionOf _:l1 .
	_:l1 owl:first Student .
	_:l1 owl:rest _:l2 .
	_:l2 owl:first Employee .
	_:l2 owl:rest owl:nil .

does not entail

	John rdf:type _:z .
	_:z owl:complementOf Student .

peter
Received on Tuesday, 20 August 2002 09:47:01 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT