{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T22:19:50Z","timestamp":1770589190345,"version":"3.49.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115078","type":"print"},{"value":"9783319115085","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11508-5_3","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T12:26:24Z","timestamp":1410179184000},"page":"22-36","source":"Crossref","is-referenced-by-count":6,"title":["On the Revision of Prioritized DL-Lite Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Salem","family":"Benferhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zied","family":"Bouraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Tabia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Bouraoui, Z.: Possibilistic DL-Lite. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol.\u00a08078, pp. 346\u2013359. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-40381-1_27"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Bouraoui, Z., Papini, O., W\u00fcrbel, E.: Assertional-based removed set revision of DL-Liter belief bases. In: ISAIM (2014)","DOI":"10.1007\/978-3-319-11558-0_31"},{"key":"3_CR3","unstructured":"Benferhat, S., Dubois, D., Prade, H.: How to infer from inconsisent beliefs without revising? In: IJCAI, pp. 1449\u20131457. Morgan Kaufmann (1995)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1023\/A:1014658309853","volume":"70","author":"S. Benferhat","year":"2002","unstructured":"Benferhat, S., Dubois, D., Prade, H., Williams, M.A.: A practical approach to revising prioritized knowledge bases. Studia Logica\u00a070(1), 105\u2013130 (2002)","journal-title":"Studia Logica"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10472-011-9262-x","volume":"61","author":"S. Benferhat","year":"2011","unstructured":"Benferhat, S., Tabia, K., Sedki, K.: Jeffrey\u2019s rule of conditioning in a possibilistic framework. Annals of Mathematics and Artificial Intelligence\u00a061(3), 185\u2013202 (2011)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"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\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"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.\u00a06496, pp. 112\u2013128. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-17746-0_8"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Didier, D., Henri, P.: Possibility theory: Qualitative and quantitative aspects. In: Smets, P. (ed.) Quantified Representation of Uncertainty and Imprecision, Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a01, pp. 169\u2013226. Springer Netherlands (1998), http:\/\/dx.doi.org\/10.1007\/978-94-017-1735-9_6","DOI":"10.1007\/978-94-017-1735-9_6"},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(91)90101-O","volume":"50","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artif. Intell.\u00a050(2), 223\u2013239 (1991)","journal-title":"Artif. Intell."},{"issue":"2-3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0888-613X(97)00019-4","volume":"17","author":"D. Dubois","year":"1997","unstructured":"Dubois, D., Prade, H.: A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. International Journal of Approximate Reasoning\u00a017(2-3), 295\u2013324 (1997)","journal-title":"International Journal of Approximate Reasoning"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Jeffrey, J.: The logic of decision. McGraw-Hill Press (1965)","DOI":"10.2307\/2023748"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/int.20470","volume":"26","author":"G. Qi","year":"2011","unstructured":"Qi, G., Ji, Q., Pan, J.Z., Du, J.: Extending description logics with uncertainty reasoning in possibilistic logic. Int. J. Intell. Syst.\u00a026(4), 353\u2013381 (2011)","journal-title":"Int. J. Intell. Syst."},{"key":"3_CR13","unstructured":"Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: IJCAI, pp. 891\u2013897 (2009)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-88564-1_27","volume-title":"The Semantic Web - ISWC 2008","author":"G. Qi","year":"2008","unstructured":"Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., V\u00f6lker, J.: A kernel revision operator for terminologies \u2014 algorithms and evaluation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 419\u2013434. Springer, Heidelberg (2008)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/11853886_32","volume-title":"Logics in Artificial Intelligence","author":"G. Qi","year":"2006","unstructured":"Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 386\u2013398. Springer, Heidelberg (2006)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Wang, Z., Wang, K., Topor, R.W.: A new approach to knowledge base revision in DL-Lite. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7593"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11508-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T12:33:41Z","timestamp":1689510821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11508-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115078","9783319115085"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11508-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}