{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:19Z","timestamp":1760202679801},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319263496"},{"type":"electronic","value":"9783319263502"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26350-2_3","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T10:59:35Z","timestamp":1448103575000},"page":"21-33","source":"Crossref","is-referenced-by-count":7,"title":["Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Borgwardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Lippmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"3_CR1","unstructured":"Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: Proceedings of IJCAI 2013, pp. 711\u2013717 (2013)"},{"key":"3_CR2","unstructured":"Baader, F.: Ontology-based monitoring of dynamic systems. In: Proceedings of KR 2014, pp. 678\u2013681 (2014)"},{"key":"3_CR3","unstructured":"Baader, F., Borgwardt, S., Lippmann, M.: Temporal conjunctive queries in expressive DLs with non-simple roles. LTCS-Report 15\u201317, Chair of Automata Theory, TU Dresden (2015). http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.websem.2014.11.008","volume":"33","author":"F Baader","year":"2015","unstructured":"Baader, F., Borgwardt, S., Lippmann, M.: Temporal query entailment in the description logic $${\\cal {SHQ}}$$ . J. Web Semant. 33, 71\u201393 (2015)","journal-title":"J. Web Semant."},{"key":"3_CR5","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"3","key":"3_CR6","first-page":"21:1","volume":"13","author":"F Baader","year":"2012","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM T. Comput. Log. 13(3), 21:1\u201321:32 (2012)","journal-title":"ACM T. Comput. Log."},{"key":"3_CR7","unstructured":"Bienvenu, M., Ortiz, M., \u0160imkus, M., Xiao, G.: Tractable queries for lightweight description logics. In: Rossi, F. (ed.) Proceedings of IJCAI 2013, pp. 768\u2013774 (2013)"},{"issue":"4","key":"3_CR8","first-page":"33:1","volume":"39","author":"M Bienvenu","year":"2014","unstructured":"Bienvenu, M., ten Cate, B., Lutz, C., Wolter, F.: Ontology-based data access: a study through disjunction datalog, CSP, and MMSNP. ACM T. Database Syst. 39(4), 33:1\u201333:44 (2014)","journal-title":"ACM T. Database Syst."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., Lutz, C., Murano, A., Vardi, M.Y.: The complexity of enriched $$\\mu $$ -calculi. Log. Meth. Comput. Sci. 4(3:11), 1\u201327 (2008)","DOI":"10.2168\/LMCS-4(3:11)2008"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Thost, V.: Temporal query answering in DL-Lite with negation. In: Proceedings of GCAI 2015 (2015, to appear)","DOI":"10.25368\/2022.221"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Thost, V.: Temporal query answering in the description logic $$\\cal EL$$ . In: Proceedings of IJCAI 2015, pp. 2819\u20132825 (2015)","DOI":"10.25368\/2022.221"},{"key":"3_CR12","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Regular path queries in expressive description logics with nominals. In: Proceedings of IJCAI 2009, pp. 714\u2013720 (2009)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.ic.2014.04.002","volume":"237","author":"D Calvanese","year":"2014","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics via alternating tree-automata. Inf. Comput. 237, 12\u201355 (2014)","journal-title":"Inf. Comput."},{"key":"3_CR14","series-title":"The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-0-387-35561-0_20","volume-title":"Database Semantics","author":"S Decker","year":"1999","unstructured":"Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: ontology based access to distributed and semi-structured information. In: Meersman, R., Tari, Z., Stevens, S. (eds.) Database Semantics. IFIP, vol. 11, pp. 351\u2013369. Springer, New York (1999)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Eiter, T., Lutz, C., Ortiz, M., \u0160imkus, M.: Query answering in description logics with transitive roles. In: Proceedings of IJCAI 2009, pp. 759\u2013764 (2009)","DOI":"10.1007\/978-3-642-02261-6_3"},{"issue":"1","key":"3_CR16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1613\/jair.2372","volume":"31","author":"B Glimm","year":"2008","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic $${\\cal {SHIQ}}$$ . J. Artif. Intell. Res. 31(1), 157\u2013204 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR17","unstructured":"Glimm, B., Horrocks, I., Sattler, U.: Unions of conjunctive queries in $${\\cal {SHOQ}}$$ . In: Proceedings of KR 2008, pp. 252\u2013262 (2008)"},{"key":"3_CR18","unstructured":"Glimm, B., Kazakov, Y., Lutz, C.: Status $$\\cal QIO$$ : an update. In: Proceedings of DL 2011, pp. 136\u2013146 (2011)"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. L. J. IGPL 8(3), 239\u2013263 (2000)","journal-title":"L. J. IGPL"},{"key":"3_CR20","unstructured":"Lippmann, M.: Temporalised description logics for monitoring partially observable events. Ph.D. thesis, TU Dresden, Germany (2014)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","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.) Automated Reasoning. LNCS, vol. 5195, pp. 179\u2013193. Springer, Heidelberg (2008)"},{"key":"3_CR22","unstructured":"Lutz, C., Wolter, F.: Non-uniform data complexity of query answering in description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of KR 2012, pp. 297\u2013307 (2012)"},{"key":"3_CR23","unstructured":"Ngo, N., Ortiz, M., \u0160imkus, M.: The combined complexity of reasoning with closed predicates in description logics. In: Proceedings of DL 2015, pp. 249\u2013261 (2015)"},{"issue":"1","key":"3_CR24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. Autom. Reasoning 41(1), 61\u201398 (2008)","journal-title":"J. Autom. Reasoning"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Ortiz, M., \u0160imkus, M.: Reasoning and query answering in description logics. In: Reasoning Web. 8th International Summer School, Chap. 1, pp. 1\u201353 (2012)","DOI":"10.1007\/978-3-642-33158-9_1"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of SFCS 1977, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"3_CR27","first-page":"133","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133\u2013173 (2008)","journal-title":"J. Data Semant."},{"issue":"1","key":"3_CR28","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1613\/jair.3029","volume":"39","author":"S Rudolph","year":"2010","unstructured":"Rudolph, S., Glimm, B.: Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!. J. Artif. Intell. Res. 39(1), 429\u2013481 (2010)","journal-title":"J. Artif. Intell. Res."},{"issue":"3","key":"3_CR29","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00962071","volume":"2","author":"A Schaerf","year":"1993","unstructured":"Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. J. Intell. Inf. Syst. 2(3), 265\u2013278 (1993)","journal-title":"J. Intell. Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","AI 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26350-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T22:54:49Z","timestamp":1692140089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26350-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319263496","9783319263502"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26350-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}