Pellet: A practical OWL-DL reasoner

✍ Scribed by Evren Sirin; Bijan Parsia; Bernardo Cuenca Grau; Aditya Kalyanpur; Yarden Katz

• Publisher: Elsevier Science
• Year: 2007
• Tongue: English
• Weight: 234 KB
• Volume: 5
• Category: Article
• ISSN: 1570-8268
• DOI: 10.1016/j.websem.2007.03.004

✦ Synopsis

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.