{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:54:01Z","timestamp":1770753241179,"version":"3.50.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540232421","type":"print"},{"value":"9783540302278","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_35","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"413-425","source":"Crossref","is-referenced-by-count":6,"title":["Explaining Subsumption by Optimal Interpolation"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Schlobach","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","volume-title":"The Description Logic Handbook","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"35_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"35_CR3","unstructured":"Beckert, B., Gor\u00e9, R.: Modleantap and modleantest.pl (1998), \n                    \n                      http:\/\/i12www.ira.uka.de\/modlean"},{"key":"35_CR4","unstructured":"Borgida, A., Franconi, E., Horrocks, I., McGuinness, D., Patel-Schneider, P.: Explaining \n                    \n                      \n                    \n                    $\\mathcal {ALC}$\n                   subsumption. In: DL 1999, pp. 37\u201340 (1999)"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic\u00a022, 269\u2013285 (1957)","journal-title":"Journal of Symbolic Logic"},{"key":"35_CR6","unstructured":"Minutes of the DL Implementation Group Workshop, \n                    \n                      http:\/\/dl.kr.org\/dig\/minutes-012002.html\n                    \n                    \n                  , visited on January 9, 2003"},{"key":"35_CR7","unstructured":"Endriss, U.: Reasoning in description logics with wellington 1. 0. In: Proceedings of the Automated Reasoning Workshop 2000, London, UK (2000)"},{"key":"35_CR8","volume-title":"Tools and Techniques in Modal Logic","author":"M. Kracht","year":"1999","unstructured":"Kracht, M.: Tools and Techniques in Modal Logic. North-Holland, Amsterdam (1999)"},{"key":"35_CR9","first-page":"235","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. AI\u00a043, 235\u2013249 (1990)","journal-title":"AI"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"521","DOI":"10.2307\/2308219","volume":"59","author":"W.V. Quine","year":"1952","unstructured":"Quine, W.V.: The problem of simplifying truth functions. American Math. Monthly\u00a059, 521\u2013531 (1952)","journal-title":"American Math. Monthly"},{"key":"35_CR11","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00249258","volume":"12","author":"W. Rautenberg","year":"1983","unstructured":"Rautenberg, W.: Modal tableau calculi and interpolation. Journal of Philosophical Logic\u00a012, 403\u2013423 (1983)","journal-title":"Journal of Philosophical Logic"},{"key":"35_CR12","unstructured":"Schlobach, S.: Knowledge Acquisition in Hybrid Knowledge Representation Systems. PhD thesis, University of London (2002)"},{"key":"35_CR13","unstructured":"Schlobach, S.: Optimal interpolation. Technical Report PP-2003-23, Universiteit van Amsterdam, ILLC, Beta Preprint Publication (2003)"},{"key":"35_CR14","volume-title":"Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Morgan Kaufmann, San Francisco (2003)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:07Z","timestamp":1620014287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}