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.
%0 Journal Article
%1 SirinParsiaEtAl07jws
%A Sirin, Evren
%A Parsia, Bijan
%A Cuenca Grau, Bernardo
%A Kalyanpur, Aditya
%A Katz, Yarden
%D 2007
%J Web Semantics
%K v1205 paper ai semantic web knowledge processing rules rdf
%N 2
%P 51-53
%R 10.1016/j.websem.2007.03.004
%T Pellet: A Practical OWL-DL Reasoner
%V 5
%X 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.
@article{SirinParsiaEtAl07jws,
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.},
added-at = {2012-05-30T10:54:11.000+0200},
author = {Sirin, Evren and Parsia, Bijan and Cuenca Grau, Bernardo and Kalyanpur, Aditya and Katz, Yarden},
biburl = {https://www.bibsonomy.org/bibtex/299b4f55f6fef96c146454b76224a51f2/flint63},
doi = {10.1016/j.websem.2007.03.004},
file = {Preprint:2007/SirinParsiaEtAl07jws.pdf:PDF},
groups = {public},
interhash = {c7f0e432acc5ae4c343b4270f36c0883},
intrahash = {99b4f55f6fef96c146454b76224a51f2},
issn = {1570-8268},
journal = {Web Semantics},
keywords = {v1205 paper ai semantic web knowledge processing rules rdf},
number = 2,
pages = {51-53},
timestamp = {2018-04-16T12:02:44.000+0200},
title = {Pellet: A Practical {OWL-DL} Reasoner},
username = {flint63},
volume = 5,
year = 2007
}