Article,

Pellet: A practical OWL-DL reasoner

, , , , and .
Web Semantics: Science, Services and Agents on the World Wide Web, 5 (2): 51 - 53 (2007)<ce:title>Software Engineering and the Semantic Web</ce:title>.
DOI: http://dx.doi.org/10.1016/j.websem.2007.03.004

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.

Tags

Users

  • @dfleischhacker
  • @rogargon
  • @haschek
  • @cstrasser
  • @marciomr
  • @terraces
  • @mgns
  • @mbjones.89
  • @diverzulu

Comments and Reviews