Finite model reasoning on UML class diagrams via constraint programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4733 LNAI, Issue , 2007, Pages 36-47

  Cadoli, Marco ^a   Calvanese, Diego ^b   De Giacomo, Giuseppe ^a   Mancini, Toni ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONSTRAINT THEORY; FINITE AUTOMATA;

CONSTRAINT PROGRAMMING; CONSTRAINT SATISFACTION PROBLEMS; FINITE MODEL REASONING;

UNIFIED MODELING LANGUAGE;

EID: 38049129334     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74782-6_5     Document Type: Conference Paper

References (11)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70-118 (2005)
3. Borgida, A., Lenzerini, M., Rosati, R.: Description logics for data bases. In: Baader et al., eh. 16, pp. 462-484 [1]
4. Calvanese, D.: Finite model reasoning in description logics. In: Proc. of KR'96, pp. 292-303 (1996)
5. Calvanese, D.: Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms. PhD thesis, Dip. di Inf. e Sist., Univ. di Roma "La Sapienza" (1996)
6. Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research 11, 199-240 (1999)
7. ILOG OPL Studio system version 3.6.1 user's manual (2002)
8. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison Wesley Publ. Co., Reading (1998)
9. Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entityrelationship schemata. Information Systems 15(4), 453-461 (1990)
10. Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. In: Baader, F. (ed.) Automated Deduction - CADE-19. LNCS (LNAI), vol. 2741, pp. 60-74. Springer, Heidelberg (2003)
11. Van Hentenryck, P.: The OPL Optimization Programming Language. The MIT Press, Cambridge (1999)