- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Fri, 12 Sep 2003 09:03:53 +0100
- To: www-webont-wg@w3.org
> ACTION: Ian Horrocks - Report Cerebra and Racer status re complete OWL Lite > consistency checkers > ACTION: Ian Horrocks - Report Cerebra, Racer, Vampire and FaCT status > re complete OWL Lite consistency checkers > ACTION: Ian Horrocks - Confirm that Network Inference passes all owl > syntax checks. The following information has been provided by the various implementation teams: Cerebra: Cerebra 3.0 is not a complete OWL Lite consistency checker, although it passes all normative OWL Lite test cases. Cerebra is a complete OWL DL syntax checker and passes all OWL syntax checks. It complains about OWL Full features saying that the syntax is not proper OWL DL. RACER: A complete OWL light consistency checker will be available soon - the only outstanding issue is Racer's unique name assumption for individuals, and this is being removed. Racer has not been tested against the OWL test cases, but the Racer team are currently working on a DIG test harness that will allow them to do so. Racer incorporates a Wilbur based OWL parser. It should in theory pass all test cases, but this has yet to be demonstrated. Vampire (AKA Hoolet): Hoolet is not a complete OWL Lite consistency checker, as it uses an incomplete FOL reasoner. Full test results for Hoolet are now available at [1]. FaCT: FaCT is not a complete OWL Lite consistency checker, as it lacks support for individuals and datatypes. Preliminary test results have already been reported; full test results will be provided as soon as the DIG test harness (see RACER above) is available. FaCT++: FaCT++ (a new DL implementation from Dmitry Tsarkov) is not a complete OWL Lite consistency checker as it currently lacks support for individuals. Test results will be provided as soon as the DIG test harness (see RACER above) is available. Ian [1] http://www.w3.org/2003/08/owl-systems/test-results-out
Received on Friday, 12 September 2003 04:06:35 UTC