Re: WOWG: We need your results on the Tests

On July 17, Dan Connolly writes:
> 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 $

I added rows for Vampire and FaCT. FaCT's partial status for equality
and inequality reflects its lack of support for Aboxes; its partial
status for "other class constructors" reflects its lack of support for
oneOf.

I am in contact with the Racer team and am hopeful that they will come
through with some results soon - they tell me that "The parsing of OWL
with support for integers and strings is almost finished".

Regards,

Ian

> 
> 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/
>