Abstract
In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we have devised is specifically tailored towards the high expressiveness of UML information structuring mechanisms, and allows one to formally model important properties which typically can only be specified by means of qualifiers. The logic is equipped with decidable reasoning procedures which can be profitably exploited in reasoning on UML class diagrams. This makes it possible to provide computer aided support during the application design phase in order to automatically detect relevant properties, such as inconsistencies and redundancies.
Keywords
- Binary Relation
- Description Logic
- Class Diagram
- Expressive Power
- Formal Framework
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your 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
S. Bergamaschi and B. Nebel. Acquisition and validation of complex object database schemata supporting multiple inheritance. Applied Intelligence, 4(2): 185–203, 1994.
D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS’98, pages 149–158, 1998.
D. Calvanese, G. De Giacomo, and M. Lenzerini. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of IJCAI’99, pages 84–89, 1999.
D. Calvanese, G. De Giacomo, and M. Lenzerini. Identification constraints and functional dependencies in description logics. In Proc. of IJCAI2001, pages 155–160, 2001.
D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229–264. Kluwer Academic Publisher, 1998.
T. Clark and A. S. Evans. Foundations of the Unified Modeling Language. In D. Duke and A. Evans, editors, Proc. of the 2nd Northern Formal Methods Workshop. Springer-Verlag, 1997.
F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In G. Brewka, editor, Principles of Knowledge Representation, Studies in Logic, Language and Information, pages 193–238. CSLI Publications, 1996.
A. Evans, R. France, K. Lano, and B. Rumpe. The UML as a formal modeling notation. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Proc. of the OOPSLA’97 Workshop on Object-oriented Behavioral Semantics, pages 75–81. Technische Universität München, TUM-I9737, 1997.
A. Evans, R. France, K. Lano, and B. Rumpe. Meta-modelling semantics of UML. In H. Kilov, editor, Behavioural Specifications for Businesses and Systems, chapter 2. Kluwer Academic Publisher, 1999.
A. S. Evans. Reasoning with UML class diagrams. In Second IEEE Workshop on Industrial Strength Formal Specification Techniques (WIFT’98). IEEE Computer Society Press, 1998.
V. Haarslev and R. Möller. Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles. In Proc. of KR 2000, pages 273–284, 2000.
D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Rehovot, Israel, 2000.
I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of KR’ 98, pages 636–647, 1998.
I. Horrocks and P. F. Patel-Schneider. Optimizing description logic subsumption. J. of Log. and Comp., 9(3):267–293, 1999.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of LPAR’99, number 1705 inLNAI, pages 161–180. Springer-Verlag, 1999.
T. Kirk, A. Y. Levy, Y. Sagiv, and D. Srivastava. The Information Manifold. In Proceedings of the AAAI 1995 Spring Symp. on Information Gathering from Heterogeneous, Distributed Enviroments, pages 85–91, 1995.
D. L. McGuinness and J. R. Wright. An industrial strength description logic-based configuration platform. IEEE Intelligent Systems, pages 69–77, 1998.
U. Sattler. Terminological Knowledge Representation Systems in a Process Engineering Application. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M. (2002). A Formal Framework for Reasoning on UML Class Diagrams. In: Hacid, MS., Raś, Z.W., Zighed, D.A., Kodratoff, Y. (eds) Foundations of Intelligent Systems. ISMIS 2002. Lecture Notes in Computer Science(), vol 2366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48050-1_54
Download citation
DOI: https://doi.org/10.1007/3-540-48050-1_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43785-7
Online ISBN: 978-3-540-48050-1
eBook Packages: Springer Book Archive