- From: Evren Sirin <evren@cs.umd.edu>
- Date: Wed, 21 Sep 2005 16:30:08 -0400
- To: public-owl-dev@w3.org
[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:37 UTC