Abstract
Description Logics (DL) are quite well-established as underlying logics for KR. \(\mathcal{ALC}\) is a basic description logic. ER and UML are among the most used semiformal artifacts in computer science. The DL-community has shown that one needs to go a bit further to reason on ER and UML models. \(\mathcal{ALCQI}\) is able to express most of the features involved in an ER and UML modeling. DL-Lite would also be taken for doing this, although it might be more verbose.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
McGuinness, D.: Explaining Reasoning in Description Logics. PhD thesis, Rutgers University (1996)
Calvanese, D., et al: DL-Lite: Practical reasoning for rich DLs. In: Proc. of the DL 2004 (2004)
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–36 (1999)
Liebig, T., Halfmann, M.: Explaining subsumption in \(\mathcal{ALEHF}_{R^+}\) tboxes. In: DL 2005, pp. 144–151 (2005)
Gentzen, G.: Untersuchungen über das logische Schließen. Math. Z. 39 (1935)
Smullyan, R.: First-Order Logic. Springer, Heidelberg (1968)
Takeuti, G.: Proof Theory. North-Holland, Amsterdam (1975)
Prawitz, D.: Natural deduction: a proof-theoretical study. Almqvist & Wiksell (1965)
Baader, F., et al.: The Description Logic Handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
Seldin, J.: Normalization and excluded middle. I. Studia Logica 48(2), 193–217 (1989)
Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)
Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Logics for Databases and Information Systems, pp. 229–263. Kluwer, Dordrecht (1998)
Calvanese, D., et al.: Information integration: Conceptual modeling and reasoning support. In: Proc. of, CoopIS 1998 (1998)
Calvanese, D., et al.: Conceptual modeling for data integration. In: Borgida, A.T., et al. (eds.) Mylopoulos Festschrift. LNCS, vol. 5600, pp. 173–197. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haeusler, E.H., Rademaker, A. (2009). Is It Important to Explain a Theorem? A Case Study on UML and \(\mathcal{ALCQI}\) . In: Heuser, C.A., Pernul, G. (eds) Advances in Conceptual Modeling - Challenging Perspectives. ER 2009. Lecture Notes in Computer Science, vol 5833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04947-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-04947-7_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04946-0
Online ISBN: 978-3-642-04947-7
eBook Packages: Computer ScienceComputer Science (R0)