Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz

In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.

(keywords) Web Ontology Language; Description logics; Tableau Theorem Proving
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), pages 51-53, June 2007
@article{pellet-websem5,
Author = {Sirin, Evren and Parsia, Bijan and Grau, Bernardo Cuenca and Kalyanpur, Aditya and Katz, Yarden},
Doi = {10.1016/j.websem.2007.03.004},
Issn = {1570-8268},
Journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
Keywords = {Web Ontology Language; Description logics; Tableau Theorem Proving},
Month = jun,
Number = 2,
Pages = {51--53},
Title = {Pellet: A practical {OWL-DL} reasoner},
Volume = 5,
Year = 2007}

    

Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
1.1