Skip to main content
SpringerLink
Log in

Query Answering Explanation in Inconsistent Datalog\(+/-\) Knowledge Bases

  • Conference paper
  • First Online:
Database and Expert Systems Applications (Globe 2015, DEXA 2015)

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

Abstract

The paper addresses the problem of explaining Boolean Conjunctive Query (BCQ) entailment in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog\(+/-\) rules. We address this problem in the case of both BCQ acceptance and failure by adopting a logical instantiation of abstract argumentation model; that is, in order to explain why the query is accepted or failed, we look for proponent or opponent sets of arguments in favor or against the query acceptance. We have also studied the computational complexity of the problem of finding an arbitrary explanation as well as all explanations.

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 EPUB and 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

Notes

  1. 1.

    This refers to the complexity of evaluating the query over the knowledge base where the size of the query is assumed to be constant.

References

  1. Arioua, A., Tamani, N., Croitoru, M.: Query answering explanation in inconsistent datalog+/- knowledge bases. Technical report, INRIA GraphiK - LIRMM, INRA, UM (2014). http://www2.lirmm.fr/~arioua/Arioua2014TR.pdf, please mind the tild

  2. Arioua, A., Tamani, N., Croitoru, M.: Query failure explanation in inconsistent knowledge bases an argumentation approach: Extended abstract. In: 5th International Conference on Computational Models of Argument 2014 (2014, to appear)

    Google Scholar 

  3. Arioua, A., Tamani, N., Croitoru, M., Buche, P.: Query failure explanation in inconsistent knowledge bases: A dialogical approach. In: Bramer, M., Petridis, M. (eds.) Research and Development in Intelligent Systems XXXI, pp. 119–133. Springer, Heidelberg (2014)

    Google Scholar 

  4. Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Proceedings of IJCAI 2005 (2005)

    Google Scholar 

  5. Baget, J.-F., Mugnier, M.-L., Rudolph, S., Thomazo, M.: Walking the complexity lines for generalized guarded existential rules. In: Proceedings of IJCAI 2011, pp. 712–717 (2011)

    Google Scholar 

  6. Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of AAAI (2012)

    Google Scholar 

  7. Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of IJCAI 2013, pp. 775–781. AAAI Press (2013)

    Google Scholar 

  8. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semant.: Sci. Serv. Agents World Wide Web 14, 57–83 (2012)

    Article  Google Scholar 

  9. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. J. Autom. Reasoning 39(3), 385–429 (2007)

    Article  MATH  Google Scholar 

  10. Calvanese, D., Ortiz, M., Šimkus, M., Stefanoni, G.: Reasoning about explanations for negative query answers in dl-lite. J. Artif. Intell. Res. 48, 635–669 (2013)

    MATH  Google Scholar 

  11. Croitoru, M., Vesic, S.: What can argumentation do for inconsistent ontology query answering? In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 15–29. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  13. Fijany, A., Vatan, F.: New approaches for efficient solution of hitting set problem. In: Proceedings of the Winter International Synposium on Information and Communication Technologies, WISICT 2004. Trinity College Dublin (2004)

    Google Scholar 

  14. Gottlob, G., Pieris, A., et al.: Towards more expressive ontology languages: The query answering problem. Artif. Intell. 193, 87–128 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  15. Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in reiter’s theory of diagnosis. Artif. Intell. 41(1), 79–88 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  16. Horridge, M., Parsia, B., Sattler, U.: Justification oriented proofs in OWL. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 354–369. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  17. Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 103–117. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  18. Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Complexity of inconsistency-tolerant query answering in datalog+/–. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) ODBASE 2013. LNCS, vol. 8185, pp. 488–500. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  19. McGuinness, D.L., Borgida, A.T.: Explaining subsumption in description logics. In: Proceedings of IJCAI 1995, pp. 816–821. Morgan Kaufmann Publishers Inc. (1995)

    Google Scholar 

  20. McGuinness, D.L., Patel-Schneider, P.F.: Usability issues in knowledge representation systems. In: Proceedings of AAAI-1998, pp. 608–614 (1998)

    Google Scholar 

  21. Meliou, A., Gatterbauer, W., Moore, K.F., Suciu, D.: Why so? or why no? functional causality for explaining query answers. In: Proceedings of the International Workshop on Management of Uncertain Data (2010)

    Google Scholar 

  22. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking Data to Ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  23. Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)

    Article  MathSciNet  Google Scholar 

  24. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003, pp. 355–360. Morgan Kaufmann Publishers Inc. (2003)

    Google Scholar 

  25. Ye, L.R., Johnson, P.E.: The impact of explanation facilities on user acceptance of expert systems advice. Mis Q. 19(2), 157–172 (1995)

    Article  Google Scholar 

Download references

Acknowledgement

Financial support from the French National Research Agency (ANR) for the project DUR-DUR (ANR-13-ALID-0002) is gratefully acknowledged.

Author information

Authors and Affiliations

  1. University Montpellier, Montpellier, France

    Abdallah Arioua, Nouredine Tamani & Madalina Croitoru

Authors
  1. Abdallah Arioua
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nouredine Tamani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Madalina Croitoru
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdallah Arioua .

Editor information

Editors and Affiliations

  1. Hewlett-Packard Enterprise, Sunnyvale, California, USA

    Qiming Chen

  2. Paul Sabatier University, Toulouse, France

    Abdelkader Hameurlain

  3. Blaise Pascal University, Aubiere, France

    Farouk Toumani

  4. University of Linz, Linz, Austria

    Roland Wagner

  5. Universidad Politécnica de Valencia, Valencia, Spain

    Hendrik Decker

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Arioua, A., Tamani, N., Croitoru, M. (2015). Query Answering Explanation in Inconsistent Datalog\(+/-\) Knowledge Bases. In: Chen, Q., Hameurlain, A., Toumani, F., Wagner, R., Decker, H. (eds) Database and Expert Systems Applications. Globe DEXA 2015 2015. Lecture Notes in Computer Science(), vol 9261. Springer, Cham. https://doi.org/10.1007/978-3-319-22849-5_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-22849-5_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-22848-8

  • Online ISBN: 978-3-319-22849-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation