{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:34:27Z","timestamp":1725838467687},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662488980"},{"type":"electronic","value":"9783662488997"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_40","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T03:59:28Z","timestamp":1448078368000},"page":"575-590","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Tableau-Based Revision over $$\\mathcal {SHIQ}$$ TBoxes"],"prefix":"10.1007","author":[{"given":"Thinh","family":"Dong","sequence":"first","affiliation":[]},{"given":"Chan","family":"Le Duc","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Bonnot","sequence":"additional","affiliation":[]},{"given":"Myriam","family":"Lamolle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"key":"40_CR2","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision. In: Proceedings of AAAI, pp. 475\u2013479 (1988)"},{"key":"40_CR3","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proceedings of AAAI (2006)"},{"key":"40_CR4","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the approximation of instance level update and erasure in description logics. In: Proceedings of AAAI, pp. 403\u2013408 (2007)"},{"key":"40_CR5","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57, 227\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic for Programming and Automated Reasoning","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"issue":"3","key":"40_CR7","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"53","author":"H Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 53(3), 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"key":"40_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-41335-3_17","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"C Le Duc","year":"2013","unstructured":"Le Duc, C., Lamolle, M., Cur\u00e9, O.: A decision procedure for $$\\cal SHIQ$$ with transitive closure of roles. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 264\u2013279. Springer, Heidelberg (2013)"},{"key":"40_CR9","unstructured":"Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: IJCAI (2009)"},{"key":"40_CR10","series-title":"Lecture Notes in Computer Science","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, vol. 4160, pp. 386\u2013398. Springer, Heidelberg (2006)"},{"key":"40_CR11","unstructured":"Ribeiro, M.M., Wassermann, R.: Base revision in description logics - preliminary results. In: Proceedings of IWOD, pp. 69\u201382 (2007)"},{"key":"40_CR12","unstructured":"Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 455\u2013462 (1988)"},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"Wang, Z., Wang, K., Topor, R.: A new approach to knowledge base revision in dl-lite. In: Proceedings of 24th AAAI, pp. 369\u2013374 (2010)","DOI":"10.1609\/aaai.v24i1.7593"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T22:52:28Z","timestamp":1692139948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}