{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:27Z","timestamp":1725748167779},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405365"},{"type":"electronic","value":"9783642405372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40537-2_13","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T12:33:51Z","timestamp":1378902831000},"page":"134-148","source":"Crossref","is-referenced-by-count":4,"title":["Semantically Guided Evolution of $\\mathcal{SHI}$ ABoxes"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[]},{"given":"Claudia","family":"Schon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Aravindan, C., Baumgartner, P.: Theorem proving techniques for view deletion in databases. Journal of Symbolic Computation\u00a029, 2000 (2000)","DOI":"10.1006\/jsco.1999.0358"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F. Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. J. Log. Comput.\u00a020(1), 5\u201334 (2010)","journal-title":"J. Log. Comput."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Fr\u00f6hlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications. In: Pollack, M.E. (ed.) IJCAI 1997, Nagoya. Morgan Kaufmann (1997)","DOI":"10.1007\/BFb0027406"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-38574-2_8","volume-title":"Automated Deduction \u2013 CADE-24","author":"M. Bender","year":"2013","unstructured":"Bender, M., Pelzer, B., Schon, C.: System description: E-KRHyper 1.4 - Extensions for unique names and description logic. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol.\u00a07898, pp. 126\u2013134. Springer, Heidelberg (2013)"},{"key":"13_CR5","unstructured":"Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Updating aboxes in DL-Lite. In: Laender, A.H.F., Lakshmanan, L.V.S. (eds.) AMW. CEUR Workshop Proceedings, vol.\u00a0619. CEUR-WS.org (2010)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-58156-1_14","volume-title":"Automated Deduction - CADE-12","author":"H. Chu","year":"1994","unstructured":"Chu, H., Plaisted, D.A.: Semantically guided first-order theorem proving using hyper-linking. In: Bundy, A. (ed.) CADE 1994. LNCS, vol.\u00a0814, pp. 192\u2013206. Springer, Heidelberg (1994)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. Log. and Comput.\u00a019 (2009)","DOI":"10.1093\/logcom\/exn051"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Dix, J., Furbach, U., Niemel\u00e4, I.: Nonmonotonic reasoning: Towards efficient calculi and implementations. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1241\u20131354. Elsevier, MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50021-7"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Furbach, U., Schon, C.: Semantically guided evolution of SHI aboxes. Reports of the Faculty of Informatics 4\/2013, Universit\u00e4t Koblenz-Landau (2013), http:\/\/www.uni-koblenz.de\/FB4\/Publications\/Reports","DOI":"10.1007\/978-3-642-40537-2_13"},{"key":"13_CR10","unstructured":"Grau, B.C., Ruiz, E.J., Kharlamov, E., Zhelenyakov, D.: Ontology evolution under semantic constraints. In: Proc. of the 13th Int. Conference on Principles of Knowledge Representation and Reasoning (2012)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1007\/11914853_44","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"C. Halashek-Wiener","year":"2006","unstructured":"Halashek-Wiener, C., Parsia, B., Sirin, E.: Description logic reasoning with syntactic updates. In: Meersman, R., Tari, Z. (eds.) OTM 2006, Part I. LNCS, vol.\u00a04275, pp. 722\u2013737. Springer, Heidelberg (2006)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M. Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-04388-8_11","volume-title":"Scalable Uncertainty Management","author":"M. Horridge","year":"2009","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol.\u00a05785, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"13_CR14","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":"13_CR15","unstructured":"Lenzerini, M., Savo, D.F.: On the evolution of the instance level of DL-Lite knowledge bases. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a0745. CEUR-WS.org (2011)"},{"issue":"18","key":"13_CR16","doi-asserted-by":"publisher","first-page":"2170","DOI":"10.1016\/j.artint.2011.08.003","volume":"175","author":"H. Liu","year":"2011","unstructured":"Liu, H., Lutz, C., Milicic, M., Wolter, F.: Foundations of instance level updates in expressive description logics. Artificial Intelligence\u00a0175(18), 2170\u20132197 (2011)","journal-title":"Artificial Intelligence"},{"key":"13_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics Using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"issue":"3","key":"13_CR18","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"D.A. Plaisted","year":"1986","unstructured":"Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. J. Symb. Comput.\u00a02(3), 293\u2013304 (1986)","journal-title":"J. Symb. Comput."},{"key":"13_CR19","unstructured":"Rosati, R.: On the complexity of dealing with inconsistency in description logic ontologies. In: IJCAI 2011. AAAI Press (2011)"},{"key":"13_CR20","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) IJCAI. Morgan Kaufmann (2003)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40537-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,6]],"date-time":"2022-03-06T01:01:20Z","timestamp":1646528480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40537-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405365","9783642405372"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40537-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}