{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:17:04Z","timestamp":1726409824352},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049460"},{"type":"electronic","value":"9783642049477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04947-7_6","type":"book-chapter","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T09:29:52Z","timestamp":1257845392000},"page":"34-44","source":"Crossref","is-referenced-by-count":0,"title":["Is It Important to Explain a Theorem? A Case Study on UML and $\\mathcal{ALCQI}$"],"prefix":"10.1007","author":[{"given":"Edward Hermann","family":"Haeusler","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Rademaker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"McGuinness, D.: Explaining Reasoning in Description Logics. PhD thesis, Rutgers University (1996)"},{"key":"6_CR2","unstructured":"Calvanese, D., et al: DL-Lite: Practical reasoning for rich DLs. In: Proc. of the DL 2004 (2004)"},{"key":"6_CR3","unstructured":"Borgida, A., Franconi, E., Horrocks, I., McGuinness, D., Patel-Schneider, P.: Explaining $\\mathcal{ALC}$ subsumption. In: Proc. of the Int. Workshop on DLs, pp. 33\u201336 (1999)"},{"key":"6_CR4","unstructured":"Liebig, T., Halfmann, M.: Explaining subsumption in $\\mathcal{ALEHF}_{R^+}$ tboxes. In: DL 2005, pp. 144\u2013151 (2005)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Math. Z.\u00a039 (1935)","DOI":"10.1007\/BF01201353"},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1968","unstructured":"Smullyan, R.: First-Order Logic. Springer, Heidelberg (1968)"},{"key":"6_CR7","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof Theory. North-Holland, Amsterdam (1975)"},{"key":"6_CR8","unstructured":"Prawitz, D.: Natural deduction: a proof-theoretical study. Almqvist & Wiksell (1965)"},{"key":"6_CR9","volume-title":"The Description Logic Handbook: theory, implementation, and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., et al.: The Description Logic Handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF02770512","volume":"48","author":"J. Seldin","year":"1989","unstructured":"Seldin, J.: Normalization and excluded middle. I. Studia Logica\u00a048(2), 193\u2013217 (1989)","journal-title":"I. Studia Logica"},{"issue":"1-2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-1-4615-5643-5_8","volume-title":"Logics for Databases and Information Systems","author":"D. Calvanese","year":"1998","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Logics for Databases and Information Systems, pp. 229\u2013263. Kluwer, Dordrecht (1998)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Calvanese, D., et al.: Information integration: Conceptual modeling and reasoning support. In: Proc. of, CoopIS 1998 (1998)","DOI":"10.1109\/COOPIS.1998.706234"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-642-02463-4_11","volume-title":"Mylopoulos Festschrift","author":"D. Calvanese","year":"2009","unstructured":"Calvanese, D., et al.: Conceptual modeling for data integration. In: Borgida, A.T., et al. (eds.) Mylopoulos Festschrift. LNCS, vol.\u00a05600, pp. 173\u2013197. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling - Challenging Perspectives"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04947-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:46:12Z","timestamp":1606167972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04947-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049460","9783642049477"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04947-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}