Re: WOWG: We need your results on the Tests

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