From justifications towards proofs for ontology engineering

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 569-571

  Horridge, Matthew ^a   Parsia, Bijan ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84860548381     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. Baader, F., and Hollunder, B. 1995. Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning 14(1):149-180.
2. Borgida, A.; Franconi, E.; and Horrocks, I. 2000. Explaining ALC subsumption. In ECAI 2000.
3. Horridge, M.; Parsia, B.; and Sattler, U. 2009. Lemmas for justifications in OWL. In DL 2009.
4. Kalyanpur, A. 2006. Debugging and Repair of OWL Ontologies. Ph.D. Dissertation, U. Maryland.
5. Plaisted, D. A., and Greenbaum, S. 1986. A structurepreserving clause form translation. Journal of Symbolic Computation.
6. Schlobach, S., and Cornet, R. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In IJCAI.