An Efficient Approach to Debugging Ontologies Based on Patterns

  • Qiu Ji
  • Zhiqiang Gao
  • Zhisheng Huang
  • Man Zhu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7185)

Abstract

Ontology debugging helps users to understand the unsatisfiability of a concept in an ontology by finding minimal unsatisfiability-preserving sub-ontologies (MUPS) of the ontology for the concept. Although existing approaches have shown good performance for some real life ontologies, they are still inefficient to handle ontologies that have many MUPS for an unsatisfiable concept. In this paper, we propose an efficient approach to debugging ontologies based on a set of patterns. Patterns provide general information to explain unsatisfiability but are not dependent on a specific ontology. In this approach, we make use of a set of heuristic strategies and construct a directed graph w.r.t. the hierarchies where the depth-first search strategy can be used to search paths. The experiments show that our approach has gained a significant improvement over the state of the art and can find considerable number of MUPS.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)Google Scholar
  2. 2.
    Cimiano, P., Völker, J.: Text2onto – A Framework for Ontology Learning and Data-Driven Change Discovery. In: Montoyo, A., Muńoz, R., Métais, E. (eds.) NLDB 2005. LNCS, vol. 3513, pp. 227–238. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Corcho, Ó., Roussey, C., Blázquez, L.M.V., Pérez, I.: Pattern-based owl ontology debugging guidelines. In: WOP (2009)Google Scholar
  4. 4.
    Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: AAAI, Boston, Massachusetts, pp. 1295–1300 (2006)Google Scholar
  5. 5.
    Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW, pp. 717–726 (2007)Google Scholar
  6. 6.
    Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in Owl. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323–338. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all Justifications of OWL DL Entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Parsia, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: WWW, pp. 633–640 (2005)Google Scholar
  9. 9.
    Plaisted, D.A., Greenbaum, S.: A structure-preserving clasue form translation. Journal of Symbolic Computation (1986)Google Scholar
  10. 10.
    Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should i extract? In: Description Logics (2009)Google Scholar
  12. 12.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI, pp. 355–362 (2003)Google Scholar
  13. 13.
    Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 1–15. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Wang, H., Horridge, M., Rector, A.L., Drummond, N., Seidenberg, J.: Debugging OWL-DL Ontologies: A Heuristic Approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 745–757. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Qiu Ji
    • 1
  • Zhiqiang Gao
    • 1
  • Zhisheng Huang
    • 2
  • Man Zhu
    • 1
  1. 1.School of Computer Science and EngineeringSoutheast UniversityNanjingChina
  2. 2.Department of Mathematics and Computer ScienceVrije University AmsterdamThe Netherlands

Personalised recommendations