- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Mon, 18 Aug 2003 02:01:18 +0200
- To: www-webont-wg@w3.org
In order to run the extra credit-tests we corrected the "#invR-N-times-M-to-1" into "#invR-1-to-N-times-M" in http://www.w3.org/2002/03owlt/extra-credit/premises002.rdf http://www.w3.org/2002/03owlt/extra-credit/premises003.rdf http://www.w3.org/2002/03owlt/extra-credit/premises004.rdf Then we believe we could run them and so now [1] we pass 251 tests out of the 268 test, but there is still a lot of bug correction, abstraction and optimization to be done... -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ [1] http://www.agfa.com/w3c/temp/owl.txt PS Dan, the 51 / 234 for euler in http://www.w3.org/2001/sw/WebOnt/rqim.html is actually 251 / 268 ;-)
Received on Sunday, 17 August 2003 20:01:27 UTC