[Pellet-users] ANN: Pellet 1.5 RC1

[Evren Sirin]

Pellet users,

We are pleased to announce the first release candidate for Pellet 1.5 
which you can download from the following URL:
http://pellet.owldl.com/downloads/pellet-1.5-RC1.zip

Major changes for this release are as follows:

* Optimized classifier: Classifier with a better performance for all 
ontologies and also incorporates the CD optimization to handle large 
taxonomic ontologies very efficiently, e.g. classification time for NCI 
ontology [1] reduced from 45min to 15sec.

* Axiom tracing: Axiom tracing is integrated into this version so a 
single justification can be computed for arbitrary inferences, e.g. 
subclass relations. It can also be used for debugging unsatisfiable 
concepts.

* Incremental reasoning: Some preliminary support for incremental 
reasoning with changing ontologies. After an ontology change, the 
previous reasoning results are reused to improve the performance of 
consistency checking. Currently only ABox additions are supported for 
incremental reasoning.

We have added example programs that shows how to use these new features. 
In addition, there have been many bug fixes and improvements since the 
1.4 release. See [2] for a complete list of changes and check out the 
Trac site [3] for detailed information about bug fixes.

We would like to thank National Cancer Institute (NCI) Center for 
Bioinformatics and specifically Gilberto Fragoso, Sherri de Coronado, 
and Frank Hartel for their support that made the improvements for this 
release possible.

As you will realize, we also have a new design for the Pellet web site. 
The content of the Web site has been enriched with more information 
about Pellet including a more extensive FAQ [4].

Cheers,
Evren

[1] http://www.mindswap.org/2003/CancerOntology/nciOncology.owl
[2] 
http://svn.versiondude.net/clark-parsia/pellet-devel/tags/release-1.5-rc1/CHANGES.txt 

[3] http://cvsdude.com/trac/clark-parsia/pellet-devel/report
[4] http://pellet.owldl.com/faq