Pellet: A practical OWL-DL reasoner


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz

Web Semantics: Science, Services and Agents on the World Wide Web 5(2), pages 51-53
June 2007

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.

(keywords) Web Ontology Language; Description logics; Tableau Theorem Proving

Publication

— authors

Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz

— status

published

— sort

article in journal

— publication date

June 2007

— journal

Web Semantics: Science, Services and Agents on the World Wide Web

— volume

5

— issue

2

— pages

51-53

identifiers

— DOI

10.1016/j.websem.2007.03.004

— print ISSN

1570-8268

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY