Pellet: An OWL DL Reasoner

By Evren Sirin, Bijan Parsia. Description Logics, 2004

595 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

The MASTRO system for ontology-based data access (2011, methodology): “Differently from QuOnto, other well-known DL reasoners such as Racer [19], Pellet [32], and Fact++ [20] are essentially focused on standard ontology reasoning services (instance checking, ontology satisfiability, concept subsumption, etc.).”
A general datalog-based framework for tractable query answering over ontologies (2009, background): “The Pellet and Racer-pro reasoners [86, 55] also partially support conjunctive query answering for OWL-DL ontologies.”
Hypertableau Reasoning for Description Logics (2009, methodology): “Pellet employs ancestor blocking, while FaCT++ has recently been extended with anywhere blocking.”
Web ontology segmentation: analysis, classification and use (2006, background): “Description logic reasoners such as FaCT++ [37], RACER [10], or Pellet [23] can be used to infer new information that is implicit in an ontology [16].”
HermiT: A Highly-Efficient OWL Reasoner (2008, unknown): “1 [10], and FaCT++ 1.”