- 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
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 UTC