Kostyantyn Shchekotykhin, Patrick Rodler, Philipp Fleiss and Gerhard Friedrich, Direct computation of diagnoses for ontology alignment, in Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, US, November, 2012. [PDF(local)], [PDF(online)]

Abstract:
Modern ontology debugging methods allow efficient identification and localization of faulty axioms defined by a user while developing 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. Embedded in an ontology debugger, the proposed algorithm is able to identify diagnoses for an ontology which includes a large number of faults and for which application of standard diagnosis methods fails. The evaluation results show that the approach is practicable and is able to identify a fault in adequate time.

BibTex:

    @InProceedings { iswc2012paper-poster-demo-64,
      author = { Kostyantyn Shchekotykhin, Patrick Rodler, Philipp Fleiss and Gerhard Friedrich },
      title = { Direct computation of diagnoses for ontology alignment },
      booktitle = { Proceedings of the ISWC 2012 Posters & Demonstrations Track },
      address = {Boston, US},
      month = { November },
      year = { 2012 },
    }

Back