Pellet System Description

@inproceedings{Sirin2006PelletSD,
  title={Pellet System Description},
  author={Evren Sirin and Bijan Parsia},
  booktitle={Description Logics},
  year={2006}
}
The description logicSHOIN (D) has attracted considerable interest as the foundation of the W3C standard Web Ontology Language variant, OWL-DL. Pellet is a sound and complete tableau reasoner for SHOIN (D) and incorporates a number of key features such as conjunctive ABox query, axiom pinpointing, rules, E-connection reasoning, and novel optimizations for nominals. In this paper we summarize Pellet’s features and special capabilities. 
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Axiom pinpointing: Finding (precise) justifications for arbitrary entailments in OWL-DL

  • A. Kalyanpur, B. Parsia, B. Cuenca-Grau, E. Sirin
  • 2006
1 Excerpt

Combining OWL ontologies using Econnections.Journal of Web Semantics

  • B. Cuenca Grau, B. Parsia, E.Sirin
  • 2005
2 Excerpts

Similar Papers

Loading similar papers…