{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T18:14:21Z","timestamp":1759342461301},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408847"},{"type":"electronic","value":"9783642408854"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40885-4_11","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T11:20:19Z","timestamp":1378898419000},"page":"165-180","source":"Crossref","is-referenced-by-count":24,"title":["Temporal Query Answering in the Description Logic DL-Lite"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Borgwardt","sequence":"first","affiliation":[]},{"given":"Marcel","family":"Lippmann","sequence":"additional","affiliation":[]},{"given":"Veronika","family":"Thost","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-04222-5_8","volume-title":"Frontiers of Combining Systems","author":"A. Artale","year":"2009","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: DL-Lite with temporalised concepts, rigid axioms and roles. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 133\u2013148. Springer, Heidelberg (2009)"},{"key":"11_CR3","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Temporal conceptual modelling with DL-Lite. In: Proc. of the 2010 Int. Workshop on Description Logics (DL 2010). CEUR Workshop Proceedings, vol.\u00a0573. CEUR-WS.org (2010)"},{"key":"11_CR4","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: A cookbook for temporal conceptual data modelling with description logics. CoRR abs\/1209.5571 (2012), http:\/\/arxiv.org\/abs\/1209.5571"},{"key":"11_CR5","unstructured":"Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). AAAI Press (2013)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-38574-2_23","volume-title":"Automated Deduction \u2013 CADE-24","author":"F. Baader","year":"2013","unstructured":"Baader, F., Borgwardt, S., Lippmann, M.: Temporalizing ontology-based data access. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol.\u00a07898, pp. 330\u2013344. Springer, Heidelberg (2013)"},{"issue":"3","key":"11_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2287718.2287721","volume":"13","author":"F. Baader","year":"2012","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Transactions on Computational Logic 13(3), 21:1\u201321:32 (2012)","journal-title":"ACM Transactions on Computational Logic"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Lippmann, M., Thost, V.: Temporal query answering in DL-Lite. In: Proc. of the 26th Int. Workshop on Description Logics (DL 2013). CEUR Workshop Proceedings. CEUR-WS.org (2013)","DOI":"10.25368\/2022.195"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Lippmann, M., Thost, V.: Temporal query answering w.r.t. DL-Lite-ontologies. LTCS-Report 13-05, Chair of Automata Theory, TU Dresden, Dresden, Germany (2013), see, http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.195"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-03754-2_7","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"D. Calvanese","year":"2009","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-Lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web 2009. LNCS, vol.\u00a05689, pp. 255\u2013356. Springer, Heidelberg (2009)"},{"key":"11_CR11","unstructured":"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\u2013607. AAAI Press (2005)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Hopcroft, J.E., Friedman, E.P., Harrison, M.A. (eds.) Proc. of the 9th Annual ACM Symp. on Theory of Computing (STOC 1977), pp. 77\u201390. ACM Press (1977)","DOI":"10.1145\/800105.803397"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1145\/210197.210200","volume":"20","author":"J. Chomicki","year":"1995","unstructured":"Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transactions on Database Systems\u00a020(2), 148\u2013186 (1995)","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/383891.383892","volume":"26","author":"J. Chomicki","year":"2001","unstructured":"Chomicki, J., Toman, D., B\u00f6hlen, M.H.: Querying ATSQL databases with temporal logic. ACM Transactions on Database Systems\u00a026(2), 145\u2013178 (2001)","journal-title":"ACM Transactions on Database Systems"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume-title":"Temporal Logic in Specification","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D.: The declarative past and imperative future. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 409\u2013448. Springer, Heidelberg (1989)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-33203-6_8","volume-title":"Web Reasoning and Rule Systems","author":"V. Guti\u00e9rrez-Basulto","year":"2012","unstructured":"Guti\u00e9rrez-Basulto, V., Klarman, S.: Towards a unifying approach to representing and querying temporal data in description logics. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol.\u00a07497, pp. 90\u2013105. Springer, Heidelberg (2012)"},{"issue":"4","key":"11_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF01893887","volume":"28","author":"K. H\u00fclsmann","year":"1991","unstructured":"H\u00fclsmann, K., Saake, G.: Theoretical foundations of handling large substitution sets in temporal integrity monitoring. Acta Informatica\u00a028(4), 365\u2013407 (1991)","journal-title":"Acta Informatica"},{"key":"11_CR18","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Temporal logic with forgettable past. In: Proc. of the 17th Annual IEEE Symp. on Logic in Computer Science (LICS 2002), pp. 383\u2013392. IEEE Press (2002)"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C. Lutz","year":"2008","unstructured":"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.\u00a05195, pp. 179\u2013193. Springer, Heidelberg (2008)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th Annual Symp. on Foundations of Computer Science (SFCS 1977), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BFb0026308","volume-title":"CSL\u201988","author":"G. Saake","year":"1989","unstructured":"Saake, G., Lipeck, U.W.: Using finite-linear temporal logic for specifying database dynamics. In: B\u00f6rger, E., B\u00fcning, H.K., Richter, M.M. (eds.) CSL 1988. LNCS, vol.\u00a0385, pp. 288\u2013300. Springer, Heidelberg (1989)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Toman, D.: Logical data expiration. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases, ch. 6, pp. 203\u2013238. Springer (2004)","DOI":"10.1007\/978-3-642-18690-5_6"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-49116-3_3","volume-title":"STACS 99","author":"T. Wilke","year":"1999","unstructured":"Wilke, T.: Classifying discrete temporal properties. In: Meinel, C., Tison, S. (eds.) STACS 1999. LNCS, vol.\u00a01563, pp. 32\u201346. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40885-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T13:46:14Z","timestamp":1688478374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40885-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408847","9783642408854"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40885-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}