W3C home > Mailing lists > Public > public-webont-comments@w3.org > September 2003

Fwd: OWL exit criteria: very close!

From: Bijan Parsia <bparsia@isis.unc.edu>
Date: Wed, 17 Sep 2003 10:09:05 -0400
To: public comments <public-webont-comments@w3.org>
Message-Id: <7F620D34-E918-11D7-9424-0003939E0B44@isis.unc.edu>

Forgot to cc comments.

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:29 UTC