Sandro - Some more test results data from tests that Ian tried with FaCT is available at [1]. Note that as FaCT lacks some of the reasoning services required to pass the tests (such as an ABox and datatype support), and is instead is given a (manual created but still) equivalent problem, these shouldn't be taken as real "passes". However, the results may be informative. Sean [1] http://wonderweb.man.ac.uk/owl/fact-results.rdf -- Sean Bechhofer seanb@cs.man.ac.uk http://www.cs.man.ac.uk/~seanbReceived on Monday, 15 September 2003 11:38:21 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:05:03 GMT