{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:50:15Z","timestamp":1762505415856},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540887362"},{"type":"electronic","value":"9783540887379"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88737-9_7","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T06:59:22Z","timestamp":1224226762000},"page":"74-88","source":"Crossref","is-referenced-by-count":14,"title":["A Survey of Revision Approaches in Description Logics"],"prefix":"10.1007","author":[{"given":"Guilin","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangkai","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"7_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":"7_CR2","volume-title":"The Description Logic Handbook: Theory, implementation and application","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, Cambridge (2003)"},{"issue":"5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"3443","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5), 3443 (2001)","journal-title":"Scientific American"},{"key":"7_CR4","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI 2006, pp. 1295\u20131300 (2006)"},{"key":"7_CR5","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the agm postulates: preliminary results and applications. In: Proc. of NMR 2004, pp. 171\u2013179 (2004)"},{"key":"7_CR6","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)"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"Fuhrmann, A.: Theory contraction through base contraction. Journal of Philosophical Logic\u00a020(2), 175\u2013203 (1991)","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR8","volume-title":"Knowledge in Flux-Modeling the Dynamic of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge (1988)"},{"key":"7_CR9","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of AAAI 2006 (2006)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11431053_13","volume-title":"The Semantic Web: Research and Applications","author":"P. Haase","year":"2005","unstructured":"Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11574620_27","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Haase","year":"2005","unstructured":"Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 353\u2013367. Springer, Heidelberg (2005)"},{"key":"7_CR12","unstructured":"Halaschek-Wiener, C., Katz, Y., Parsia, B.: Belief base revision for expressive description logics. In: Proc. of OWL-ED 2006 (2006)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1111\/j.1755-2567.1989.tb00725.x","volume":"55","author":"S.O. Hansson","year":"1989","unstructured":"Hansson, S.O.: New operators for theory change. Theoria\u00a055, 114\u2013132 (1989)","journal-title":"Theoria"},{"issue":"6","key":"7_CR14","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S.O. Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the levi identity. Journal of Philosophical Logic\u00a022(6), 637\u2013669 (1993)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"S.O. Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. J. Symb. Log.\u00a059(3), 845\u2013859 (1994)","journal-title":"J. Symb. Log."},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"S.O. Hansson","year":"1997","unstructured":"Hansson, S.O.: Semi-revision (invited paper). Journal of Applied Non-Classical Logics\u00a07(2), 151\u2013175 (1997)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"7_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","author":"S.O. Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell.\u00a052(3), 263\u2013294 (1992)","journal-title":"Artif. Intell."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: Proc. of KR 2006, pp. 46\u201356 (2006)","DOI":"10.25368\/2022.153"},{"key":"7_CR20","unstructured":"Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645\u2013650 (2005)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS, vol.\u00a0422. Springer, Heidelberg (1990)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11762256_17","volume-title":"The Semantic Web: Research and Applications","author":"P. Plessers","year":"2006","unstructured":"Plessers, P., De Troyer, O.: Resolving inconsistencies in evolving ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"7_CR23","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":"7_CR24","unstructured":"Ribeiro, M.M., Wassermann, R.: First steps towards revising ontologies. In: Proc. of WONTO 2006 (2006)"},{"key":"7_CR25","unstructured":"Ribeiro, M.M., Wassermann, R.: Base revision in description logics - preliminary results. In: Proc. of IWOD 2007, pp. 69\u201382 (2007)"},{"issue":"3","key":"7_CR26","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S. Schlobach","year":"2007","unstructured":"Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reasoning\u00a039(3), 317\u2013349 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"7_CR27","unstructured":"Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe (2004)"},{"key":"7_CR28","volume-title":"Handbook of Knowledge Representation","author":"F. Harmelen van","year":"2007","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88737-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T14:41:39Z","timestamp":1684593699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88737-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540887362","9783540887379"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88737-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}