Pellet 1.4 is coming!

by Evren Sirin

After a long pause, the next release of Pellet is now around the corner. When you defend your PhD thesis and welcome your first child during the same summer, software development takes a break!

There has been a number of changes since the latest release. The biggest change is the brand-new Web page Pellet has: http://pellet.owldl.com. We will be migrating everything (including the online demo, issue tracker, mailing list, etc.) from the Mindswap site to this new site. We currently have the release candidate for version 1.4 available for download at the new site.

The next release is adding a lot of new functionality as well as many bug fixes. The biggest update is the support for OWL 1.1. This version of Pellet supports all the features of OWL 1.1 except n-ary datatypes. So there is support for the long-awaited feature qualified cardinality restrictions, complex subproperty axioms (between a property and a property chain), local reflexivity restrictions; reflexive, irreflexive, symmetric, and anti-symmetric properties; disjoint properties, and user-defined inline datatypes. There is also an updated version of Swoop available at this site which supports OWL 1.1. The people seeing the demo at the 2nd OWLED workshop was quite enthusiastic about the new features.

In addition, the new version has features like query subsumption, axiom tracing for ABox assertions and a preliminary implementation of DL-safe rules. There is still some more work that needs to be done before the final release such as updating the documentation and examples. Well, until then, download the release candidate, play with it and let us know what you think (Yes, there is also a new mailing list for Pellet).

This entry was posted on Wednesday, November 15th, 2006 at 9:48 am and is filed under Description Logic, Pellet. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Viewing 2 Comments

Steven Livingstone 11/23/2006 10:03 AM 1 point
Please login to rate.

Do you already have an account? Log in and claim this comment.

This is great work. I'm fairly new to working in anger with Pellet in combination with Protoge. It has been incredibly useful thus far. I'd love the DIG reasoner to support Xsd types but at least it just gives a warning rather than falling over!

Great work. I'd love to see a complementary version in C# as that is my core language.

reply edit reblog flag

http://stevenR2.com

Bijan Parsia 11/24/2006 01:53 AM 1 point
Please login to rate.

Do you already have an account? Log in and claim this comment.

I'm glad it's helpful, Steve.

You might also try the Manchester Protege 4 alpha prototype, which has a more direct, less DIG, connection with the reasoner (mostly FaCT++ but I think Matt will pop Pellet 1.4 in there). It *should* support most of the OWL 1.1 features.

reply edit reblog flag

Trackbacks

(Trackback URL)

Thinking Clearly .