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 Sirin200751
%A Sirin, Evren
%A Parsia, Bijan
%A Grau, Bernardo Cuenca
%A Kalyanpur, Aditya
%A Katz, Yarden
%D 2007
%J Web Semantics: Science, Services and Agents on the World Wide Web
%K Language Ontology Web
%N 2
%P 51 - 53
%R http://dx.doi.org/10.1016/j.websem.2007.03.004
%T Pellet: A practical OWL-DL reasoner
%U http://www.sciencedirect.com/science/article/pii/S1570826807000169
%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{Sirin200751,
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 = {2015-01-14T21:25:14.000+0100},
author = {Sirin, Evren and Parsia, Bijan and Grau, Bernardo Cuenca and Kalyanpur, Aditya and Katz, Yarden},
biburl = {https://www.bibsonomy.org/bibtex/2c0c219fb847c791254d361c5673d2b0f/diverzulu},
doi = {http://dx.doi.org/10.1016/j.websem.2007.03.004},
file = {:D\:\\ASUS-FINO\\Inkhognito_M\\David\\PhD\\Web Semântica\\Background on Semantic Web\\OWL\\2007-WS-Pellet - A practical OWL-DL reasoner.pdf:PDF},
interhash = {c7f0e432acc5ae4c343b4270f36c0883},
intrahash = {c0c219fb847c791254d361c5673d2b0f},
issn = {1570-8268},
journal = {Web Semantics: Science, Services and Agents on the World Wide Web },
keywords = {Language Ontology Web},
note = {<ce:title>Software Engineering and the Semantic Web</ce:title> },
number = 2,
owner = {David},
pages = {51 - 53},
timestamp = {2015-01-14T21:25:14.000+0100},
title = {Pellet: A practical OWL-DL reasoner },
url = {http://www.sciencedirect.com/science/article/pii/S1570826807000169},
volume = 5,
year = 2007
}