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:

http://wonderweb.man.ac.uk/owl/first-order.shtml

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

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Thursday, 12 June 2003 13:46:26 GMT

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