Abstract
DL-Lite is a powerful and tractable family of description logics. One of the fundamental issue in this area is the evolution or revision of knowledge bases. To this end, many approaches are recently developed for revising flat DL-Lite knowledge bases. This paper investigates “Prioritized Removed Sets Revision” (PRSR) in DL-Lite framework where the assertions or data are prioritized (for instance in case where the data are provided by multiple sources having different reliability levels). PRSR approach is based on inconsistency minimization in order to restore consistency where the minimality refers to the lexicographic criterion and not to the set inclusion one. We study different forms of incorporated information: an assertion, a positive inclusion axiom or a negative inclusion axiom. We show that under some conditions PRSR can be achieved in polynomial time. We give logical properties of the proposed operators in terms of satisfaction of Hansson’s postulates rephrased in DL-Lite framework. We finally show how to use the notion of hitting sets for computing prioritized removed sets.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res (JAIR) 36, 1–69 (2009)
Benferhat, S., Ben-Naim, J., Papini, O., Würbel, E.: An answer set programming encoding of prioritized removed sets revision: application to gis. Appl. Intell. 32(1), 60–87 (2010)
Benferhat, S., Bouraoui, Z., Papini, O., Würbel, E.: Assertional-based removed sets revision of DL-Lite R knowledge bases. In: ISAIM (2014)
Benferhat, S., Dubois, D., Prade, H.: How to infer from inconsisent beliefs without revising. In: IJCAI, pp. 1449–1457 (1995)
Benferhat, S., Dubois, D., Prade, H., Williams, M.-A.: A practical approach to revising prioritized knowledge bases. Studia Logica 70(1), 105–130 (2002)
Bienvenu, M., Rosati, R.: New inconsistency-tolerant semantics for robust ontology-based data access. In: Eiter, T., Glimm, B., Kazakov, Y., Krötzsch, M. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 1014, pp. 53–64. CEUR-WS.org (2013)
Calvanese, D., Giacomo, G.D., 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)
Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of dl-lite knowledge bases. 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. 112–128. Springer, Heidelberg (2010)
Flouris, G., Plexousakis, D., Antoniou, G.: On applying the agm theory to dls and owl. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216–231. Springer, Heidelberg (2005)
Fuhrmann, A.: An essay on contraction. CSLI Publications, Stanford (1997)
Gao, S., Qi, G., Wang, H.: A new operator for abox revision in dl-lite. In: Hoffmann, J., Selman, B. (eds.) AAAI. AAAI Press (2012)
Hansson, S.O.: Revision of belief sets and belief bases. Handbook of Defeasible Reasoning and Uncertainty Management Systems 3, 17–75 (1998)
Hué, J., Würbel, E., Papini, O.: Removed sets fusion: Performing off the shelf. In: Proc. of ECAI 2008 (FIAI 178), pp. 94–98 (2008)
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)
Papini, O.: A complete revision function in propositional calculus. In: ECAI, pp. 339–343 (1992)
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)
Qi, G., Liu, W., Bell, D.A.: A revision-based approach to handling inconsistency in description logics. Artif. Intell. Rev. 26(1-2), 115–128 (2006)
Qi, G., Pan, J.: A stratfication-based approach for inconsistency handling in description logics. In: IWOD 2007, p. 83 (2007)
Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)
Wang, Z., Wang, K., Topor, R.W.: A new approach to knowledge base revision in dl-lite. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press (2010)
Wilkerson, R.W., Greiner, R., Smith, B.A.: A correction to the algorithm in reiter’s theory of diagnosis. Artificial Intelligence 41, 79–88 (1989)
Würbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of GIS. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR, pp. 505–515. Morgan Kaufmann (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Benferhat, S., Bouraoui, Z., Papini, O., Würbel, E. (2014). A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases. In: Fermé, E., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2014. Lecture Notes in Computer Science(), vol 8761. Springer, Cham. https://doi.org/10.1007/978-3-319-11558-0_31
Download citation
DOI: https://doi.org/10.1007/978-3-319-11558-0_31
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11557-3
Online ISBN: 978-3-319-11558-0
eBook Packages: Computer ScienceComputer Science (R0)