Re: The Ugly Test

[...]

>> [S]o I still think that we can't call the proposed testcase
>> http://www.w3.org/2002/03owlt/oneOf/Manifest004#test a
>> http://www.w3.org/2002/03owlt/testOntology#PositiveEntailmentTest
>
>Why not?

Well, I was wrong. I now think it is and for that
particular testcase I now found an ugly proof.


-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 2 February 2003 19:33:52 UTC