- From: <jos.deroo@agfa.com>
- Date: Wed, 13 Jul 2005 02:08:29 +0200
- To: mccune@mcs.anl.gov
- Cc: www-archive@w3.org
FYI http://lists.w3.org/Archives/Public/www-archive/2005Jul/0010.html is about successful run of http://www.w3.org/TR/owl-test/dl-500-SAT#description-logic-502 with prover9 and output is in http://lists.w3.org/Archives/Public/www-archive/2005Jul/att-0010/inconsistent502.out at the time of W3C OWL Recommendation, no reasoners were succeeding http://www.w3.org/2003/08/owl-systems/test-results-out#table_6_Extra%20Credit%20DL thanks, jos -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 13 July 2005 00:08:40 UTC