Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Pattern Recognition in Embedded Systems: An Overview Read chapter Read first chapter

2015 | OriginalPaper | Chapter

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

Authors : Abdallah Arioua, Nouredine Tamani, Madalina Croitoru

Published in: Database and Expert Systems Applications

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Comparative Performance Evaluation of Relational and NoSQL Databases for Spatial and Mobile Applications
next chapter PARTY: A Mobile System for Efficiently Assessing the Probability of Extensions in a Debate
Footnotes
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.
 
Literature
1.
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)
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)
4.
Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Proceedings of IJCAI 2005 (2005)
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)
6.
Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of AAAI (2012)
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)
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)CrossRef
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)CrossRefMATH
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
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) CrossRef
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)MathSciNetCrossRefMATH
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)
14.
Gottlob, G., Pieris, A., et al.: Towards more expressive ontology languages: The query answering problem. Artif. Intell. 193, 87–128 (2012)MathSciNetCrossRefMATH
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)MathSciNetCrossRefMATH
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) CrossRef
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) CrossRef
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) CrossRef
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)
20.
McGuinness, D.L., Patel-Schneider, P.F.: Usability issues in knowledge representation systems. In: Proceedings of AAAI-1998, pp. 608–614 (1998)
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)
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) CrossRef
23.
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)
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)CrossRef
Metadata
Title
Query Answering Explanation in Inconsistent Datalog Knowledge Bases
Authors
Abdallah Arioua
Nouredine Tamani
Madalina Croitoru
Copyright Year
2015
Book
Database and Expert Systems Applications

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

Electronic ISBN: 978-3-319-22849-5

Copyright Year: 2015

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

Premium Partner

    Image Credits