{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:21:59Z","timestamp":1762251719289,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177453"},{"type":"electronic","value":"9783642177460"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17746-0_8","type":"book-chapter","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T04:05:44Z","timestamp":1291781144000},"page":"112-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Evolution of DL\u2009\u2212\u2009Lite Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[]},{"given":"Evgeny","family":"Kharlamov","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Nutt","sequence":"additional","affiliation":[]},{"given":"Dmitriy","family":"Zheleznyakov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. In: [13], ch.10, pp. 349\u2013372"},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S0269888908001367","volume":"23","author":"G. Flouris","year":"2008","unstructured":"Flouris, G., Manakanatas, D., Kondylakis, H., Plexousakis, D., Antoniou, G.: Ontology change: Classification and survey. Knowledge Engineering Review\u00a023(2), 117\u2013152 (2008)","journal-title":"Knowledge Engineering Review"},{"key":"8_CR3","unstructured":"Abiteboul, S., Grahne, G.: Update semantics for incomplete databases. In: Proc. of VLDB 1985 (1985)"},{"key":"8_CR4","unstructured":"Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of KR 1991, pp. 387\u2013394 (1991)"},{"key":"8_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. Artificial Intelligence\u00a057, 227\u2013270 (1992)","journal-title":"Artificial Intelligence"},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663109","volume-title":"Updating Logical Databases","author":"M. Winslett","year":"1990","unstructured":"Winslett, M.: Updating Logical Databases. Cambridge University Press, Cambridge (1990)"},{"key":"8_CR7","unstructured":"Flouris, G.: On belief change in ontology evolution. AI Communications\u00a019(4) (2006)"},{"key":"8_CR8","unstructured":"Qi, G., Du, J.: Model-based revision operators for terminologies in description logics. In: Proc. of IJCAI 2009, pp. 891\u2013897 (2009)"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/244810.244813","volume":"22","author":"R.J. Peters","year":"1997","unstructured":"Peters, R.J., \u00d6zsu, M.T.: An axiomatic model of dynamic schema evolution in objectbase systems. ACM Trans. on Database Systems\u00a022(1), 75\u2013114 (1997)","journal-title":"ACM Trans. on Database Systems"},{"issue":"5","key":"8_CR10","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1093\/logcom\/exn051","volume":"19","author":"G. De Giacomo","year":"2009","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. of Logic and Computation, Special Issue on Ontology Dynamics\u00a019(5), 745\u2013770 (2009)","journal-title":"J. of Logic and Computation, Special Issue on Ontology Dynamics"},{"key":"8_CR11","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"},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"8_CR13","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR14","doi-asserted-by":"publisher","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. of Artificial Intelligence Research\u00a036, 1\u201369 (2009)","journal-title":"J. of Artificial Intelligence Research"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics X, 133\u2013173 (2008)","DOI":"10.1007\/978-3-540-77688-8_5"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action I: A possible worlds approach. Technical Report KSL-86-65, Knowledge Systems, AI Laboratory (1987)","DOI":"10.1016\/B978-0-934613-32-3.50020-4"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Forbus, K.D.: Introducing actions into qualitative simulation. In: Proc. of IJCAI 1989 (1989)","DOI":"10.21236\/ADA466199"},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1145\/4879.4995","volume":"10","author":"A. Borgida","year":"1985","unstructured":"Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. on Database Systems\u00a010(4), 565\u2013603 (1985)","journal-title":"ACM Trans. on Database Systems"},{"key":"8_CR19","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. of AAAI 1988, pp. 475\u2013479 (1988)"},{"key":"8_CR20","unstructured":"Calvanese, D., Kharlamov, E., Nutt, W.: A proof theory for DL-Lite. In: Proc. of DL\u00a02007. CEUR, vol.\u00a0250, pp. 235\u2013242 (2007), \n                      ceur-ws.org"},{"key":"8_CR21","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\u00a02006, pp. 1271\u20131276 (2006)"},{"key":"8_CR22","unstructured":"Zheleznyakov, D., Calvanese, D., Kharlamov, E., Nutt, W.: Updating TBoxes in DL-Lite. In: Proc. of DL 2010. CEUR, vol.\u00a0573, pp. 102\u2013113 (2010), \n                      ceur-ws.org"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17746-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T01:09:03Z","timestamp":1662772143000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-17746-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177453","9783642177460"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17746-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}