- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 12 Jun 2003 21:32:48 -0400
- To: Sean Bechhofer <seanb@cs.man.ac.uk>, www-webont-wg@w3.org
- Cc: Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
At 6:44 PM +0100 6/12/03, Sean Bechhofer wrote: >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 Sean - very impressive results. How long are you giving things that time out? -JH -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 *** 240-277-3388 (Cell) http://www.cs.umd.edu/users/hendler *** NOTE CHANGED CELL NUMBER ***
Received on Thursday, 12 June 2003 21:32:56 UTC