W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

completed action

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Fri, 12 Sep 2003 09:03:53 +0100
Message-ID: <16225.32233.627617.253228@merlin.horrocks.net>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT