W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

Re: The Ugly Test

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Mon, 3 Feb 2003 01:33:14 +0100
To: pfps@research.bell-labs.com
Cc: jjc@hplb.hpl.hp.com, "Jos De_Roo" <jos.deroo@agfa.com>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OFFD022A4B.CDC20B08-ONC1256CC2.0002953D-C1256CC2.00030E79@agfa.be>


[...]

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

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