Fwd: OWL exit criteria: very close!

Forgot to cc comments.

Cheers,
Bijan Parsia.

Begin forwarded message:

> From: Bijan Parsia <bparsia@isr.umd.edu>
> Date: Wed Sep 17, 2003  8:29:00  AM US/Eastern
> To: connolly@w3.org
> Cc: hendler@cs.umd.edu
> Subject: re: OWL exit criteria: very close!
>
> I just wanted to mention that Pellet is complete for SHIN and, I 
> believe, SHON, and can handle (incompletely) SHION (Hence OWL DL). So 
> we also fall under:
>
>      4. two reasoners implementing (different) substantial subsets of
>         OWL DL
>
>         candidates include FaCT, Racer, Cerebra
>
> In fact, I'd guess that feature wise, we are much better than FaCT and 
> Cerebra (nominals, aboxes) and may soon been fairly optimization 
> comperable. Racer will likely beat us with optimization, but we 
> currently have more features (nominals, no unique name assumption).
>
> Pellet also includes a syntax checker which will shortly, I hope, pass 
> all the tests, including structure sharing.
>
> It also does some OWL full, abeit only the description logic 
> compatible bits.
>
> All this was written pretty much from scratch within two months with 
> only me out of the four people working on it being reasonably 
> experienced with DLs or even theorem proving, and my experience with 
> DL is less than a year old.
>
> Pellet also offers useful functionality such as a classifer, and 
> (soon) a conjunctive query language for Aboxes. It should support the 
> DIG interface by ISWC, thus plug into existing editors like OilEd. 
> There's also a web based form for interacting with it. It will be 
> deployed to back our website and in our Web Services composer.
>
> Cheers,
> Bijan.
>

Received on Wednesday, 17 September 2003 10:06:12 UTC