> Sandro - > > I've put up the results from my first order experiments at [1]. Those > tests not attempted due to data types (marked as unsupported in my > detailed results) are listed as Incomplete. To make it easier to refer to > things, I have given the FO-based reasoner the code-name "Hoolet"* > > Sean > > [1] http://wonderweb.man.ac.uk/owl/hoolet-results.rdf > > * A Scots name for an OWL. Also I believe used to described somebody > behaving foolishly. Seemed somehow appropriate. Excellent. I've updated the main page: we now have Euler, Hoolet, OWLP, Pellet, and Surnia. That knocks four more tests off the not-yet-passed list, bringing us down to five [1]. I'm looking forward to results from Charles and/or Ian. -- sandro [1] http://www.w3.org/2003/08/owl-systems/test-results-out#notPassedReceived on Tuesday, 9 September 2003 08:21:10 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT