- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 30 May 2002 17:09:19 +0200
- To: "connolly" <connolly@w3.org>
- Cc: www-webont-wg@w3.org
Dan, A while ago I made a testcase http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0345.html I now propose an updated version of that testcase given nothing we can entail [ owl:oneOf ( :a :a :b ) ] owl:sameClassAs [ owl:oneOf ( :b :a :a ) ] . which is also OK with the assertion of all top level statements i.e. no unasserted triples so we have ==== sameClassAsE.n3 @prefix log: <http://www.w3.org/2000/10/swap/log#> . ( <http://www.w3.org/2001/10/daml+oil#> ) log:entails <sameClassAsC.n3> . ==== ==== sameClassAsC.n3 @prefix owl: <http://www.w3.org/2001/10/daml+oil#> . [ owl:oneOf ( :a :a :b ) ] owl:sameClassAs [ owl:oneOf ( :b :a :a ) ] . ==== -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 30 May 2002 11:11:01 UTC