6533b82bfe1ef96bd128d565
RESEARCH PRODUCT
Pellet: A Practical OWL-DL Reasoner
Evren SirinAditya KalyanpurBernardo Cuenca GrauBernardo Cuenca GrauYarden KatzBijan Parsiasubject
JavaComputer scienceProgramming languagemedia_common.quotation_subjectWeb Ontology LanguageSemantic reasonercomputer.software_genreOperator (computer programming)Description logicDebuggingMiddleware (distributed applications)Conjunctive querycomputermedia_commoncomputer.programming_languagedescription
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2007-01-01 | SSRN Electronic Journal |