- 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>
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 UTC