Integration of Pattern-Based Debugging Approach into RaDON

  • Qiu Ji
  • Zhiqiang Gao
  • Zhisheng Huang
Part of the Communications in Computer and Information Science book series (CCIS, volume 406)

Abstract

RaDON is a representative system for debugging and repairing both single ontologies and ontology mappings. However, the efficiency of its debugging algorithms is still a problem. In this paper, we implement an efficient debugging algorithm based on patterns in RaDON. As a result, RaDON could efficiently discover those minimal unsatisfiability-preserving subsets (MUPS) with the patterns specified by the users. Besides, RaDON could discover all MUPS by reusing those MUPS that have previously been found.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ji, Q., Gao, Z., Huang, Z., Zhu, M.: An efficient approach to debugging ontologies based on patterns. In: JIST, pp. 425–433 (2011)Google Scholar
  2. 2.
    Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtmüller, S.: RaDON — repair and diagnosis in ontology networks. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 863–867. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170–184. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies 3(4), 268–293 (2005)Google Scholar
  5. 5.
    Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 399–413. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: AAAI, pp. 1408–1413 (2007)Google Scholar
  7. 7.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI, pp. 355–362 (2003)Google Scholar
  8. 8.
    Stuckenschmidt, H.: Debugging OWL ontologies - a reality check. In: EON (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Qiu Ji
    • 1
    • 2
  • Zhiqiang Gao
    • 1
    • 2
  • Zhisheng Huang
    • 3
  1. 1.School of Computer Science and EngineeringSoutheast UniversityNanjingChina
  2. 2.Key Laboratory of Computer Network and Information Integration(Southeast University), Ministry of EducationNanjingChina
  3. 3.Department of Computer ScienceVrije University AmsterdamThe Netherlands

Personalised recommendations