W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Re: WOWG: We need your results on the Tests

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 17 Jul 2003 12:00:15 +0100
Message-ID: <16150.33215.255552.482199@merlin.horrocks.net>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT