Pellet 1.4, final release, is now available for download.
The big technical news with 1.4 is OWL 1.1 support. The big social news is that 1.4 is the first (major) release since Evren came to C&P. All of the OWL 1.1 work was funded…by us. You’re welcome! Fortunately, we have a contract now (from NCI) to enhance Pellet in a number of ways, and some folks at Mindswap (links not exhaustive, Vlad and Taowei don’t seem to have webpages) are still working on it as well. (We are coordinating and collaborating).
Pellet 1.5 is in the works. That version is will pull together (or re-implement!) a bunch of features that were in various branches and versions of Pellet, but didn’t make it in to the main version (usually because they were PhD work and the effort of porting and synching with the main version is a distraction to getting a thesis done). Pellet 1.5 will include a complete and reasonable implementation of tableau tracing (a core service which is helpful for debugging, incremental reasoning, nonmonotonic reasoning, and so on) and incremental update (based on Christian’s thesis work).
(I would love to get default logic and DL safe rule support advanced as well, but I suspect they will remain preliminary through 1.5. Unless someone wants to implement/fund it. Let me know!)
