- From: Dan Connolly <connolly@w3.org>
- Date: 17 Jul 2003 13:23:18 -0500
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: Jim Hendler <hendler@cs.umd.edu>, webont <www-webont-wg@w3.org>
I updated our implementation report to integrate this feedback. I ended up rotating the table to make it easier to manage... I now have rows for Vampire and FaCT. http://www.w3.org/2001/sw/WebOnt/rqim.html $Revision: 1.19 $ of $Date: 2003/07/17 18:20:54 $ On Thu, 2003-07-17 at 06:00, Ian Horrocks wrote: > On July 11, Jim Hendler writes: > > > > [snip] > > > > > I currently have at least some results from: > > > > (alphabetical list): > > Euler (Jos) > > Vampire (Sean) > > Both Sean and Dmitry are on holiday so there wont be any update here > in the near future - in any case I think that the results are already > pretty comprehensive. It would clearly be possible to use the TPTP > translation with other ATPs such as SPASS and E-Setheo, but I don't > have the resources to do that at present (everyone is on holiday). > > > Cerebra (Charles) > > E-wallet (Fabien Gandon, CMU) > > OWLLET (Bijan Parsia, UMCP) > > PELLET (Ron Alford, UMCP) > > OWLLISA (Jordan Katz, UMCP) > > You also have a bunch of results for FaCT (see, e.g., [1]) > > > > > and hope we'll get some from > > RACER > > I am talking to the Racer guys. > > > cwm/otter > > > [1] http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0160.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 17 July 2003 14:23:21 UTC