Modern ontology debugging methods allow efficient identification and localization of faulty axioms in an ontology. However, in many use cases such as ontology alignment the ontologies might include many conflict sets, i.e. sets of axioms preserving the faults, thus making ontology diagnosis infeasible. In this paper we present a debugging approach based on a direct computation of diagnoses that omits calculation of conflict sets. The evaluation results show that the approach is practicable and is able to identify a fault in adequate time.
CITATION STYLE
Shchekotykhin, K., Fleiss, P., Rodler, P., & Friedrich, G. (2012). Direct computation of diagnoses for ontology alignment. In CEUR Workshop Proceedings (Vol. 946, pp. 244–245).
Mendeley helps you to discover research relevant for your work.