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

Re: TEST: Re: notes for 6/6 until 1:10 (oneOf/sameClassAs)

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>
Message-ID: <OF28612991.D6F5CD4C-ONC1256BD6.00304B1E@agfa.be>


[...]

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

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