- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 12 Jun 2002 11:10:57 +0200
- To: "Dan Connolly <connolly" <connolly@w3.org>
- Cc: "www-webont-wg <www-webont-wg" <www-webont-wg@w3.org>
[...] > I worked out a similar test: > > premise: > > :x owl:oneOf ( :a :a :b ). > :y owl:oneOf ( :b :a :a ). > > conclusion: > > :x owl:sameClassAs :y. > > and I'm satisfied OWL should give us that much. > > (I haven't gotten as far as checking the test in; > I had to kludge around a few problems to get it working.) I've checked in http://www.w3.org/2002/03owlt/oneOfP.n3 http://www.w3.org/2002/03owlt/oneOfC.n3 http://www.w3.org/2002/03owlt/oneOfE.n3 which is also evidence for [[[ ACTION Connolly: to arrange direct CVS access for appropriate members [Jeremy Carroll, Jos de Roo] of the test focus area to that repository. ]]] -- http://lists.w3.org/Archives/Public/www-webont-wg/2002Jun/0055.html -- . Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 12 June 2002 05:19:20 UTC