Skip to main content
SpringerLink
Log in

Get My Pizza Right: Repairing Missing is-a Relations in \({\cal ALC}\) Ontologies

  • Conference paper
Semantic Technology (JIST 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7774))

Included in the following conference series:

Abstract

With the increased use of ontologies in semantically-enabled applications, the issue of debugging defects in ontologies has become increasingly important. These defects can lead to wrong or incomplete results for the applications. Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e. the missing relations in the is-a hierarchy. Previous work has dealt with the case of taxonomies. In this work we extend the scope to deal with \({\cal ALC}\) ontologies that can be represented using acyclic terminologies. We present algorithms and discuss a system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bada, M., Hunter, L.: Identification of OBO nonalignments and its implication for OBO enrichment. Bioinformatics 24(12), 1448–1455 (2008)

    Article  Google Scholar 

  3. Cimiano, P., Buitelaar, P., Magnini, B.: Ontology Learning from Text: Methods, Evaluation and Applications. IOS Press (2005)

    Google Scholar 

  4. Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: A uniform tableaux-based approach to concept abduction and contraction in ALN. In: International Workshop on Description Logics, pp. 158–167 (2004)

    Google Scholar 

  5. Corcho, O., Roussey, C., Vilches, L.M., Pérez, I.: Pattern-based owl ontology debugging guidelines. In: Workshop on Ontology Patterns, pp. 68–82 (2009)

    Google Scholar 

  6. Donini, F., Colucci, S., Di Noia, T., Di Sciasco, E.: A tableaux-based method for computing least common subsumers for expressive description logics. In: 21st International Joint Conference on Artificial Intelligence, pp. 739–745 (2009)

    Google Scholar 

  7. Du, J., Qi, G., Shen, Y.-D., Pan, J.: Towards practical abox abduction in large owl dl ontologies. In: 25th AAAI Conference on Artificial Intelligence, pp. 1160–1165 (2011)

    Google Scholar 

  8. Elsenbroich, C., Kutz, O., Sattler, U.: A case for abductive reasoning over ontologies. In: OWL: Experiences and Directions (2006)

    Google Scholar 

  9. Flouris, G., Manakanatas, D., Kondylakis, H., Plexousakis, D., Antoniou, G.: Ontology Change: Classification and Survey. Knowledge Engineering Review 23(2), 117–152 (2008)

    Article  Google Scholar 

  10. Haase, P., Stojanovic, L.: Consistent Evolution of OWL Ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182–197. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. Hearst, M.: Automatic acquisition of hyponyms from large text corpora. In: 14th International Conference on Computational Linguistics, pp. 539–545 (1992)

    Google Scholar 

  12. Hubauer, T., Lamparter, S., Pirker, M.: Automata-based abduction for tractable diagnosis. In: International Workshop on Description Logics, pp. 360–371 (2010)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. 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. 173–187. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging Unsatisfiable Classes in OWL Ontologies. Journal of Web Semantics 3(4), 268–293 (2006)

    Article  Google Scholar 

  17. Klarman, S., Endriss, U., Schlobach, S.: Abox abduction in the description logic ALC. Journal of Automated Reasoning 46, 43–80 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. Lambrix, P., Dragisic, Z., Ivanova, V.: Get my pizza right: Repairing missing is-a relations in ALC ontologies, extended version (2012), http://arxiv.org/abs/1210.7154

  19. Lambrix, P., Liu, Q.: Debugging is-a structure in networked taxonomies. In: 4th International Workshop on Semantic Web Applications and Tools for Life Sciences, pp. 58–65 (2011)

    Google Scholar 

  20. Lambrix, P., Liu, Q., Tan, H.: Repairing the Missing is-a Structure of Ontologies. In: Gómez-Pérez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol. 5926, pp. 76–90. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. Lambrix, P., Strömbäck, L., Tan, H.: Information Integration in Bioinformatics with Ontologies and Standards. In: Bry, F., Maluszynski, J. (eds.) Semantic Techniques for the Web. LNCS, vol. 5500, pp. 343–376. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  22. Lin, H., Sirin, E.: Pellint - a performance lint tool for pellet. In: OWL: Experiences and Directions (2008)

    Google Scholar 

  23. Lutz, C.: Complexity of terminiological reasoning revisited. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 181–200. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  24. Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing Ontology Mappings. In: 22nd Conference on Artificial Intelligence, pp. 1408–1413 (2007)

    Google Scholar 

  25. MeSH. Medical subject headings, http://www.nlm.nih.gov/mesh/

  26. Pizza Ontology v1.5, http://www.co-ode.org/ontologies/pizza/2007/02/12/

  27. PubMed, http://www.ncbi.nlm.nih.gov/pubmed/

  28. Qi, G., Ji, Q., Haase, P.: A Conflict-Based Operator for Mapping Revision. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 521–536. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  29. Schlobach, S.: Debugging and Semantic Clarification by Pinpointing. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 226–240. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  30. Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: 19th International Joint Conference on Artificial Intelligence, pp. 570–575 (2005)

    Google Scholar 

  31. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Journal of Web Semantics 5(2), 51–53 (2007)

    Article  Google Scholar 

  32. Wang, P., Xu, B.: Debugging ontology mappings: a static approach. Computing and Informatics 27, 21–36 (2008)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science and Swedish e-Science Research Centre, Linköping University, 581 83, Linköping, Sweden

    Patrick Lambrix, Zlatan Dragisic & Valentina Ivanova

Authors
  1. Patrick Lambrix
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zlatan Dragisic
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Valentina Ivanova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. National Institute of Informatics, Tokyo, Japan

    Hideaki Takeda

  2. Nanjing University, China

    Yuzhong Qu

  3. Japan Advanced Institute of Science and Technology, Ishikawa, Japan

    Riichiro Mizoguchi

  4. Osaka University, Japan

    Yoshinobu Kitamura

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lambrix, P., Dragisic, Z., Ivanova, V. (2013). Get My Pizza Right: Repairing Missing is-a Relations in \({\cal ALC}\) Ontologies. In: Takeda, H., Qu, Y., Mizoguchi, R., Kitamura, Y. (eds) Semantic Technology. JIST 2012. Lecture Notes in Computer Science, vol 7774. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37996-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-37996-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-37995-6

  • Online ISBN: 978-3-642-37996-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation