Pellet: A practical OWL-DL reasoner |
| |
Authors: | Evren Sirin Bijan Parsia Bernardo Cuenca Grau Aditya Kalyanpur Yarden Katz |
| |
Affiliation: | aUniversity of Maryland, MIND Lab, 8400 Baltimore Ave, College Park, MD 20742, USA |
| |
Abstract: | 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: | |
本文献已被 ScienceDirect 等数据库收录! |
|