Towards a unifying approach to representing and querying temporal data in description logics

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

Volumn 7497 LNCS, Issue , 2012, Pages 90-105

  Gutiérrez Basulto, Víctor ^a   Klarman, Szymon ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; QUERY LANGUAGES;

DESCRIPTION LOGIC; GENERIC APPROACH; LINEAR TEMPORAL LOGIC; QUERY ANSWERING; TEMPORAL DATA; TEMPORAL DATABASE; THEORETICAL FOUNDATIONS; TIME-STAMPED DATA;

DATA DESCRIPTION;

EID: 85006942908     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33203-6_8     Document Type: Conference Paper

References (24)

1. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. Journal of Artificial Intelligence Research (2008)
2. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39, 385-429 (2007)
3. Chomicki, J., Toman, D.: Temporal Databases. In: Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence), pp. 429-468. Elsevier Science Inc. (2005)
4. Montanari, A., Chomicki, J.: Time domain. In: Encyclopedia of Database Systems, pp. 3103-3107 (2009)
5. Böhlen, M.H., Chomicki, J., Snodgrass, R.T., Toman, D.: Querying TSQL2 Databases with Temporal Logic. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol. 1057, pp. 325-341. Springer, Heidelberg (1996)
6. Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1(3), 203-233 (1992)
7. Hobbs, J.R., Pan, F.: An ontology of time for the semantic web. ACM Trans. Asian Lang. Inf. Process. 3(1), 66-85 (2004)
8. Batsakis, S., Stravoskoufos, K., Petrakis, E.G.M.: Temporal Reasoning for Supporting Temporal Queries in OWL 2.0. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part I. LNCS, vol. 6881, pp. 558-567. Springer, Heidelberg (2011)
9. O’Connor, M.J., Das, A.K.: A method for representing and querying temporal information in OWL. Biomedical Engineering Systems and Technologies (Selected Papers), 97-110 (2011)
10. Gutierrez, C., Hurtado, C.A., Vaisman, A.A.: Introducing Time into RDF. IEEE Trans. Knowl. Data Eng. 19(2), 207-218 (2007)
11. Zimmermann, A., Lopes, N., Polleres, A., Straccia, U.: A general framework for representing, reasoning and querying with annotated Semantic Web data. Web Semantics: Science, Services and Agents on the World Wide Web 11, 72-95 (2012)
12. Motik, B.: Representing and querying validity time in RDF and OWL: A logicbased approach. Web Semantics: Science, Services and Agents on the World Wide Web 12-13, 3-21 (2012)
13. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Proc. of TIME 2008 (2008)
14. Artale, A., Franconi, E., Wolter, F., Zakharyaschev, M.: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, Springer, Heidelberg (2002)
15. Baader, F., Calvanese, D., Mcguinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003)
16. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Eql-lite: Effective first-order query processing in description logics. In: Proc. of IJCAI 2007 (2007)
17. Reynolds, M.: The complexity of decision problems for linear temporal logics. Journal of Studies in Logic 3, 1917 (2010)
18. Chomicki, J., Toman, D.: Temporal logic in information systems. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 31-70. Kluwer (1998)
19. Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning 41, 61-98 (2008)
20. Grimm, S., Motik, B.: Closed world reasoning in the semantic web through epistemic operators. In: Second International Workshop on OWL: Experiences and Directions (OWLED 2006) (2005)
21. Lutz, C., Seylan, I., Wolter, F.: Mixing open and closed world assumption in ontology-based data access: Non-uniform data complexity. In: Proc. of the International Workshop on Description Logics, DL 2012 (2012)
22. Lutz, C.: The Complexity of Conjunctive Query Answering in Expressive Description Logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179-193. Springer, Heidelberg (2008)
23. Shankar, R.D., Martins, S.B., O’Connor, M.J., Das, A.K.: An ontological approach to representing and reasoning with temporal constraints in clinical trial protocols. In: HEALTHINF (1) (INSTICC-Institute for Systems and Technologies of Information, Control and Communication), pp. 87-93
24. Demri, S.: LTL over integer periodicity constraints. Theoretical Computer Science 360, 96-123 (2006)