Reasoning over extended ER models

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

Volumn 4801 LNCS, Issue , 2007, Pages 277-292

  Artale, A ^a   Calvanese, D ^a   Kontchakov, R ^b   Ryzhikov, V ^a   Zakharyaschev, M ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; ONTOLOGY;

CARDINALITY CONSTRAINTS; CONCEPTUAL MODELS; EXTENDED ENTITY-RELATIONSHIP (EER) LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38349043953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75563-0_20     Document Type: Conference Paper

References (16)

1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of the 22nd Nat.Conf. on Artificial Intelligence (AAAI 2007) (2007)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
3. Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design, an Entity-Relationship Approach. Benjamin and Cummings Publ. Co. (1992)
4. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language reference. W3C Recommendation, Available at (February 2004), http://www.w3.org/TR/owl-ref/
5. Berardi, G.D., Calvanese, D., Giacomo, D.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70-118 (2005)
6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
7. Calvanese, G.D., Giacomo, D.: Expressive description logics. In: Baader. F., et al. (eds.) [2], ch.5, pp. 178-218 (2003)
8. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 602-607 (2005)
9. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260-270 (2006)
10. Calvanese, D., Lenzerini, M.: On the interaction between ISA and cardinality constraints. In: Proc. of the 10th IEEE Int. Conf. on Data Engineering (ICDE'94), pp. 204-213. IEEE Computer Society Press, Los Alamitos (1994)
11. Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research 11, 199-240 (1999)
12. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides 35 (1997)
13. Di Battista, G., Lenzerini, M.: Deductive entity-relationship modeling. IEEE Trans. on Knowledge and Data Engineering 5(3), 439-450 (1993)
14. ElMasri, R.A., Navathe, S.B.: Fundamentals of Database Systems, 5th edn. Addison Wesley Publ.Co. (2007)
15. Kozen, D.: Theory of Computation. Springer, Heidelberg (2006)
16. Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems 15(4), 453-461 (1990)