More results

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/~seanb