Explanation of OWL entailments in protégé 4

CEUR Workshop Proceedings

Volumn 401, Issue , 2008, Pages

  Horridge, Matthew ^a   Parsia, Bijan ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Explanation; OWL; Reasoning

Indexed keywords

EXPLANATION; FREELY AVAILABLE SOFTWARE; OPEN SOURCES; OWL; OWL ONTOLOGY EXPLANATION; REASONING;

OPEN SYSTEMS;

BIRDS;

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

References (6)

1. M. Horridge, B. Parsia, and U. Sattler. Computing precise justifications for entailments in owl. In ISWC 08 The International Semantic Web Conference 2008, Karlsruhe, Germany, 2008.
2. A. Kalyanpur. Debugging and Repair of OWL Ontologies. PhD thesis, The Graduate School of the University of Maryland, 2006.
3. A. Kalyanpur, B. Parsia, and B. C. Grau. Beyond asserted axioms: Fine-grain justifications for owl-dl entailments. In DL 2006, Lake District, U.K., 2006.
4. S. C. J. Lam. Methods for Resolving Inconsistencies In Ontologies. PhD thesis, Department of Computer Science, Aberdeen, 2007.
5. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In IJCAI International Joint Conference on Artificial Intelligence, 2003.
6. H. H. Wang, M. Horridge, A. Rector, N. Drummond, and J. Seidenberg. Debugging owl-dl ontologies: A heuristic approach. In ISWC 05 The International Semantic Web Conference 2005, Galway, Ireland, 2005.