Complexity of reasoning over temporal data models

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

Volumn 6412 LNCS, Issue , 2010, Pages 174-187

  Artale, Alessandro ^a   Kontchakov, Roman ^b   Ryzhikov, Vladislav ^a   Zakharyaschev, Michael ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CARDINALITY CONSTRAINTS; CONCEPTUAL DATA MODELS; CONCEPTUAL MODEL; DISJOINTNESS; KEY CONSTRAINTS; LIFE SPAN; TEMPORAL DATA MODELS; TEMPORAL DIMENSIONS; TEMPORAL EXTENSIONS; TIMESTAMPING; UNDECIDABILITY;

AUTOMATA THEORY; MODELS;

COMPUTATIONAL COMPLEXITY;

EID: 78649940952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16373-9_13     Document Type: Conference Paper

References (25)

1. Artale, A.: Reasoning on temporal class diagrams: Undecidability results. Annals on Mathematics and Artificial Intelligence (AMAI) 46, 265-288 (2006)
2. Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over extended ER models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 277-292. Springer, Heidelberg (2007)
3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1-69 (2009)
4. Artale, A., Franconi, E., Mandreoli, F.: Description logics for modelling dynamic information. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases, pp. 239-275. Springer, Heidelberg (2003)
5. Artale, A., Franconi, E., Wolter, F., Zakharyaschev, M.: A temporal description logic for reasoning about conceptual schemas and queries. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 98-110. Springer, Heidelberg (2002)
6. Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Past and future of DL-Lite. In: Proc. of the 24th AAAI Conf. on Artificial Intelligence, AAAI 2010 (2010)
7. Artale, A., Parent, C., Spaccapietra, S.: Evolving objects in temporal information systems. Annals of Mathematics and Artificial Intelligence 50(1-2), 5-38 (2007)
8. Artale, A., Toman, D.: Decidable reasoning over timestamped conceptual models. In: Proc. of the 21th Int. Workshop on Description Logics (DL 2008), Dresden, Germany (May 2008)
9. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)
10. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70-118 (2005)
11. Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research 11, 199-240 (1999)
12. Combi, C., Degani, S., Jensen, C.S.: Capturing temporal constraints in temporal ER models. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 397-411. Springer, Heidelberg (2008)
13. Etzion, O., Gal, A., Segev, A.: Extended update functionality in temporal databases. In: Temporal Databases - Research and Practice. Springer, Heidelberg (1998)
14. Gregersen, H., Jensen, J.S.: Conceptual modeling of time-varying information. Technical Report TimeCenter TR-35, Aalborg University, Denmark (1998)
15. Gregersen, H., Jensen, J.S.: Temporal Entity-Relationship models - a survey. IEEE Transactions on Knowledge and Data Engineering 11(3), 464-497 (1999)
16. Gupta, R., Hall, G.: An abstraction mechanism for modeling generation. In: Proc. of the 8th Int. Conf. on Data Engineering (ICDE 1992), pp. 650-658. IEEE Computer Society, Los Alamitos (1992)
17. Hall, G., Gupta, R.: Modeling transition. In: Proc. of the 7th Int. Conf. on Data Engineering (ICDE 1991), pp. 540-549. IEEE Computer Society, Los Alamitos (1991)
18. Jensen, C.S., Clifford, J., Gadia, S.K., Hayes, P., Jajodia, S., et al.: The Consensus Glossary of Temporal Database Concepts. In: Temporal Databases - Research and Practice, Springer, Heidelberg (1998)
19. Jensen, C.S., Snodgrass, R.T.: Temporal data management. IEEE Transactions on Knowledge and Data Engineering 111(1), 36-44 (1999)
20. Jensen, C.S., Soo, M., Snodgrass, R.T.: Unifying temporal data models via a conceptual model. Information Systems 9(7), 513-547 (1994)
21. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Proc. of the 15th Int. Symposium on Temporal Representation and Reasoning (TIME 2008), pp. 3-14. IEEE Computer Society, Los Alamitos (2008)
22. Sistla, A., Clarke, E.: The complexity of propositional linear temporal logics. In: Proc. of the 14th Annual ACM Symposium on Theory of Computing, pp. 159-168. ACM, New York (1982)
23. Spaccapietra, S., Parent, C., Zimanyi, E.: Conceptual Modeling for Traditional and Spatio- Temporal Applications - The MADS Approach. Springer, Heidelberg (2006)
24. Tauzovich, B.: Towards temporal extensions to the entity-relationship model. In: Proc. of the 10th Int. Conf. on Conceptual Modeling (ER 1991), pp. 163-179. ER Institute (1991)
25. Theodoulidis, C., Loucopoulos, P., Wangler, B.: A conceptual modelling formalism for temporal database applications. Information Systems 16(3), 401-416 (1991)