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: Sat, 19 Jul 2003 00:04:27 +0100
Message-ID: <16152.31995.619200.435731@merlin.horrocks.net>
To: Dan Connolly <connolly@w3.org>
Cc: Jim Hendler <hendler@cs.umd.edu>, webont <www-webont-wg@w3.org>
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/
> 


Received on Friday, 18 July 2003 19:05:33 GMT

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