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

Re: OWL Tests with First Order reasoner.

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Thu, 12 Jun 2003 18:44:41 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
cc: Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
Message-ID: <Pine.WNT.4.44.0306121842280.2316-100000@potato>

On Mon, 9 Jun 2003, Sean Bechhofer wrote:

> I've been doing some experiments with translating OWL DL tests into FOL
> and then checking them with Vampire (an FO reasoner from Andrei Voronkov's
> group). So far just looking at the DL/Lite inconsistency tests. I have
> been able to succesfully verify the inconsistency of the 61 tests listed
> below.

Following up on this, there are some further experimental results at:


These are still preliminary, but I think are promising results in terms of


Sean Bechhofer
Received on Thursday, 12 June 2003 13:46:26 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC