%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 }