1. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168, 70–118 (2005)
2. Brachman, R.J., Schmolze, J.G.: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), 171–216 (1995)
3. Büttner, F., Gogolla, M.: On Generalization and Overriding in UML 2.0. In: UML Workshop on OCL and Model Driven Engineering, Lisbon (Portugal) (2004)
4. Bratsberg, S.E., Odberg, E.: Relation Refinement in Object-Relation Data Models. In: Nordic Workshop on Programming and Software Development Research, Tampere (Finland) (1992)
5. Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)