Journal
JOURNAL OF WEB SEMANTICS
Volume 5, Issue 2, Pages 51-53Publisher
ELSEVIER SCIENCE BV
DOI: 10.1016/j.websem.2007.03.004
Keywords
web ontology language; description logics; tableau theorem proving
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available