{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:20:07Z","timestamp":1743117607303,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_31","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"442-456","source":"Crossref","is-referenced-by-count":8,"title":["A Prioritized Assertional-Based Revision for 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":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"W\u00fcrbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"31_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log.\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A. Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. J. Artif. Intell. Res (JAIR)\u00a036, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1","key":"31_CR3","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/s10489-008-0135-x","volume":"32","author":"S. Benferhat","year":"2010","unstructured":"Benferhat, S., Ben-Naim, J., Papini, O., W\u00fcrbel, E.: An answer set programming encoding of prioritized removed sets revision: application to gis. Appl. Intell.\u00a032(1), 60\u201387 (2010)","journal-title":"Appl. Intell."},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Bouraoui, Z., Papini, O., W\u00fcrbel, E.: Assertional-based removed sets revision of DL-Lite\n                    R\n                   knowledge bases. In: ISAIM (2014)","DOI":"10.1007\/978-3-319-11558-0_31"},{"key":"31_CR5","unstructured":"Benferhat, S., Dubois, D., Prade, H.: How to infer from inconsisent beliefs without revising. In: IJCAI, pp. 1449\u20131457 (1995)"},{"issue":"1","key":"31_CR6","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"},{"key":"31_CR7","unstructured":"Bienvenu, M., Rosati, R.: New inconsistency-tolerant semantics for robust ontology-based data access. In: Eiter, T., Glimm, B., Kazakov, Y., Kr\u00f6tzsch, M. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a01014, pp. 53\u201364. CEUR-WS.org (2013)"},{"issue":"3","key":"31_CR8","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":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-17746-0_8","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"D. Calvanese","year":"2010","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)"},{"key":"31_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11574620_18","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G. Flouris","year":"2005","unstructured":"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.\u00a03729, pp. 216\u2013231. Springer, Heidelberg (2005)"},{"key":"31_CR11","unstructured":"Fuhrmann, A.: An essay on contraction. CSLI Publications, Stanford (1997)"},{"key":"31_CR12","unstructured":"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)"},{"key":"31_CR13","first-page":"17","volume":"3","author":"S.O. Hansson","year":"1998","unstructured":"Hansson, S.O.: Revision of belief sets and belief bases. Handbook of Defeasible Reasoning and Uncertainty Management Systems\u00a03, 17\u201375 (1998)","journal-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems"},{"key":"31_CR14","unstructured":"Hu\u00e9, J., W\u00fcrbel, E., Papini, O.: Removed sets fusion: Performing off the shelf. In: Proc. of ECAI 2008 (FIAI 178), pp. 94\u201398 (2008)"},{"key":"31_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D. Lembo","year":"2010","unstructured":"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.\u00a06333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"key":"31_CR16","unstructured":"Papini, O.: A complete revision function in propositional calculus. In: ECAI, pp. 339\u2013343 (1992)"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-642-04930-9_33","volume-title":"The Semantic Web - ISWC 2009","author":"G. Qi","year":"2009","unstructured":"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.\u00a05823, pp. 521\u2013536. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"31_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10462-007-9044-3","volume":"26","author":"G. Qi","year":"2006","unstructured":"Qi, G., Liu, W., Bell, D.A.: A revision-based approach to handling inconsistency in description logics. Artif. Intell. Rev.\u00a026(1-2), 115\u2013128 (2006)","journal-title":"Artif. Intell. Rev."},{"key":"31_CR19","unstructured":"Qi, G., Pan, J.: A stratfication-based approach for inconsistency handling in description logics. In: IWOD 2007, p. 83 (2007)"},{"issue":"1","key":"31_CR20","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell.\u00a032(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1609\/aaai.v24i1.7593"},{"key":"31_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R.W. Wilkerson","year":"1989","unstructured":"Wilkerson, R.W., Greiner, R., Smith, B.A.: A correction to the algorithm in reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041, 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"31_CR23","unstructured":"W\u00fcrbel, 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\u2013515. Morgan Kaufmann (2000)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:08:44Z","timestamp":1676891324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}