%0 Journal Article %1 sirin_pellet:practical_2007 %A Sirin, E %A Parsia, B %A Grau, BC %A Kalyanpur, A %A Katz, Y %D 2007 %J Journal of Web Semantics %K Matts_biblio ontology semantics %N 2 %P 51--53 %T Pellet: A practical OWL-DL reasoner %U http://apps.isiknowledge.com.proxy.library.ucsb.edu:2048/full_record.do?product=WOS&search_mode=GeneralSearch&qid=11&SID=4ClAPHkFckJgGHMNI5N&page=1&doc=2 %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. (C) 2007 Published by Elsevier B. V.

@article{sirin_pellet:practical_2007, 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. {(C)} 2007 Published by Elsevier B. V.}, added-at = {2010-11-18T23:02:10.000+0100}, author = {Sirin, E and Parsia, B and Grau, {BC} and Kalyanpur, A and Katz, Y}, bdsk-url-1 = {http://apps.isiknowledge.com.proxy.library.ucsb.edu:2048/full_record.do?product=WOS&search_mode=GeneralSearch&qid=11&SID=4ClAPHkFckJgGHMNI5N&page=1&doc=2}, biburl = {https://www.bibsonomy.org/bibtex/24d07416e07a2bc5e8aa33da77b7255ee/cstrasser}, date-modified = {2010-11-09 10:31:02 -0800}, interhash = {c7f0e432acc5ae4c343b4270f36c0883}, intrahash = {4d07416e07a2bc5e8aa33da77b7255ee}, issn = {1570-8268}, journal = {Journal of Web Semantics}, keywords = {Matts_biblio ontology semantics}, library = {MattJones}, month = {June}, number = 2, pages = {51--53}, timestamp = {2010-11-18T23:02:11.000+0100}, title = {Pellet: A practical {OWL-DL} reasoner}, url = {http://apps.isiknowledge.com.proxy.library.ucsb.edu:2048/full_record.do?product=WOS&search_mode=GeneralSearch&qid=11&SID=4ClAPHkFckJgGHMNI5N&page=1&doc=2}, volume = 5, year = 2007 }