- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 17 Jul 2003 12:00:15 +0100
- To: Jim Hendler <hendler@cs.umd.edu>
- Cc: webont <www-webont-wg@w3.org>
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
Received on Thursday, 17 July 2003 07:01:17 UTC