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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:42 GMT