Skip to main content

Efficient Federated Debugging of Lightweight Ontologies

  • Conference paper
Web Reasoning and Rule Systems (RR 2014)

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

Included in the following conference series:


In the last years ontologies have been applied increasingly as a conceptual view facilitating the federation of numerous data sources using different access methods and data schemes. Approaches such as ontology-based data integration (OBDI) are aimed at this purpose. According to these approaches, queries formulated in an ontology describing the knowledge domain as a whole are translated into queries formulated in vocabularies of integrated data sources. In such integrative environments the increasing number of heterogeneous data sources increases the risk of inconsistencies. These inconsistencies become a serious obstacle for leveraging the full potential of approaches like OBDI since inconsistencies can be hardly identified by existing reasoning algorithms, which mostly have been developed for processing of locally available knowledge bases. In this paper we present an alternative approach for efficient federated debugging. Our solution relies on the generation of so called clash queries that are evaluated over all integrated data sources. We further explain how these queries can be used for pinpointing those assertions that cause inconsistencies and discuss finally some experimental evaluation results of our implementation.

We refer the interested reader to our extended version of this paper ( Debugging_of_Lightweight_Ontologies ) comprising some additional parts like an introduction to inconsistencies in description logics, conjunctive queries and DL-Lite, a complete clash type definition, a complete list of derived clash queries, an example for clash query federation, the proof of Proposition 1, and a section about related work.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others


  1. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  2. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artificial Intelligence 195, 335–360 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  3. Haase, P., Qi, G.: An analysis of approaches to resolving inconsistencies in DL-based ontologies. In: Proceedings of the International Workshop on Ontology Dynamics (IWOD 2007), pp. 97–109 (2007)

    Google Scholar 

  4. Horrocks, I., Motik, B., Wang, Z.: The HermiT OWL Reasoner. In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012), Manchester, UK (2012)

    Google Scholar 

  5. Kiryakov, A., Damova, M.: Storing the Semantic Web: Repositories. Handbook of Semantic Web Technologies 1, 231–297 (2011)

    Article  Google Scholar 

  6. Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, vol. 3, pp. 2656–2661. AAAI Press (2011)

    Google Scholar 

  7. Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Query rewriting for inconsistent DL-Lite ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 155–169. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Nolle, A., Nemirovski, G.: ELITE: An Entailment-based Federated Query Engine for Complete and Transparent Semantic Data Integration. In: Proceedings of the 26th International Workshop on Description Logics (2013)

    Google Scholar 

  9. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. Journal on Data Semantics X, 133–173 (2008)

    Google Scholar 

  10. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Web Semantics: science, services and agents on the World Wide Web 5(2), 51–53 (2007)

    Article  Google Scholar 

  11. Wache, H., Voegele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., Hübner, S.: Ontology-based integration of information - a survey of existing approaches. In: IJCAI 2001 Workshop: Ontologies and Information Sharing, Citeseer, pp. 108–117 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Nolle, A., Meilicke, C., Stuckenschmidt, H., Nemirovski, G. (2014). Efficient Federated Debugging of Lightweight Ontologies. In: Kontchakov, R., Mugnier, ML. (eds) Web Reasoning and Rule Systems. RR 2014. Lecture Notes in Computer Science, vol 8741. Springer, Cham.

Download citation

  • DOI:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11112-4

  • Online ISBN: 978-3-319-11113-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics