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

TEST: sameClassAs testcase

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
Message-ID: <OF67D8D2BD.A7A34AEC-ONC1256BC9.0051012C@agfa.be>

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 GMT

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