Pellet system description

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 255-256

  Sirin, Evren ^a   Parsia, Bijan ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84872953648     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. B. Cuenca Grau, B. Parsia, and E.Sirin. Combining OWL ontologies using Econnections. Journal of Web Semantics, 4(1), January 2005.
2. A. Kalyanpur, B. Parsia, B. Cuenca-Grau, and E. Sirin. Axiom pinpointing: Finding (precise) justifications for arbitrary entailments in OWL-DL, 2006. Available at http://www.mindswap.org/papers/TracingTechReport.pdf.
3. E. Sirin, B. Cuenca-Grau, and B. Parsia. From wine to water: Optimizing description logic reasoning for nominals. In International Conf. on the Principles of Knowledge Representation and Reasoning (KR-2006), 2006.
4. E. Sirin and B. Parsia. Optimizations for answering conjunctive abox queries: First results. In Proc. of the Int. Description Logics Workshop (DL 2006), 2006.
5. B. Parsia V. Kolovski and E. Sirin. Extending the SHOIQ(D) tableaux with dl-safe rules: First results. In Proc. of the Int. Description Logics Workshop (DL 2006), 2006.