Pellet 1.3 (beta) is released

[We apologize if you receive multiple copies of this message]

The new version of OWL DL reasoner Pellet is released and available for 
download here:
http://www.mindswap.org/2003/pellet/download.shtml

Pellet is an open-source Java based OWL DL reasoner based on the 
tableaux algorithms developed for expressive Description Logics. The new 
version implements algorithms from [1] to become the first sound and 
complete DL reasoner that supports the full expressivity of OWL DL. It 
is unique in its capability to reason about nominals (enumerated classes).

The new version comes with major performance improvements making Pellet 
possible to process large and complex ontologies such as Galen medical 
ontology and the notoriously hard Wine ontology from OWL guide. Some 
initial performance evaluation results are available here [2].

Another important feature in the new version is the DIG server 
implementation making it possible to use Pellet as an external reasoner 
in applications that support the DIG protocol, e.g. applications such as 
the Protege ontology editor.

See http://www.mindswap.org/2003/pellet for more information about 
Pellet and its special features.

Regards,
Evren

[1] http://www.cs.man.ac.uk/~horrocks/Publications/#HoSa05a
[2] http://www.mindswap.org/2003/pellet/performance.shtml



---
Evren Sirin evren@cs.umd.edu
Graduate Research Assistant
Computer Science Department
Univ of Maryland, College Park, MD 20742
Phone: (301) 405-7027, Fax: (301) 405-6707

Received on Wednesday, 21 September 2005 20:33:56 UTC