TEST: sameClassAs testcase

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