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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:09:40 GMT