{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:23:07Z","timestamp":1742977387294,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031802829"},{"type":"electronic","value":"9783031802836"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-80283-6_2","type":"book-chapter","created":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T06:46:27Z","timestamp":1738392387000},"page":"23-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Finite-Model Reasoning for\u00a0Graph Queries and\u00a0Description Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0989-3717","authenticated-orcid":false,"given":"Filip","family":"Murlak","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press (2017)","DOI":"10.1017\/9781139025355"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny, V., Gottlob, G., Otto, M.: Querying the guarded fragment. Log. Methods Comput. Sci. 10(2) (2014)","DOI":"10.2168\/LMCS-10(2:3)2014"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bonifati, A., Fletcher, G.H.L., Voigt, H., Yakovets, N.: Querying Graphs. Morgan & Claypool Publishers, Synthesis Lectures on Data Management (2018)","DOI":"10.1007\/978-3-031-01864-0"},{"key":"2_CR4","unstructured":"Danielski, D., Kiero\u0144ski, E.: Finite satisfiability of unary negation fragment with transitivity. In: Proceedings of the MFCS 2019. LIPIcs, vol.\u00a0138, pp. 17:1\u201317:15 (2019)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Ginzburg, A.: Algebraic Theory of Automata. Academic Press (1968)","DOI":"10.1016\/B978-1-4832-0013-2.50009-6"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Gogacz, T., Guti\u00e9rrez-Basulto, V., Gutowski, A., Ib\u00e1\u00f1ez-Garc\u00eda, Y., Murlak, F.: On finite entailment of non-local queries in description logics. In: Proceedings of the KR 2020. IJCAI Organization (2020)","DOI":"10.24963\/kr.2020\/43"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Gogacz, T., Guti\u00e9rrez-Basulto, V., Ib\u00e1\u00f1ez-Garc\u00eda, Y., Jung, J.C., Murlak, F.: On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles. In: Proceedings of the IJCAI 2019, pp. 1719\u20131725. ijcai.org (2019)","DOI":"10.24963\/ijcai.2019\/238"},{"key":"2_CR8","unstructured":"Gogacz, T., Ib\u00e1\u00f1ez-Garc\u00eda, Y.A., Murlak, F.: Finite query answering in expressive description logics with transitive roles. In: Proceedings of the KR 2018, pp. 369\u2013378. AAAI Press (2018)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez-Basulto, V., Gutowski, A., Ib\u00e1\u00f1ez Garc\u00eda, Y.A., Murlak, F.: Containment of graph queries modulo schema. Proc. ACM Manag. Data 2(2) (2024)","DOI":"10.1145\/3651140"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez-Basulto, V., Gutowski, A., Ib\u00e1\u00f1ez-Garc\u00eda, Y., Murlak, F.: Finite entailment of UCRPQs over ALC ontologies. In: Proceedings of the KR 2022. IJCAI Organization (2022)","DOI":"10.24963\/kr.2022\/19"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez-Basulto, V., Ib\u00e1\u00f1ez-Garc\u00eda, Y., Jung, J.C., Murlak, F.: Answering regular path queries mediated by unrestricted SQ ontologies. Artif. Intell. 314 (2023)","DOI":"10.1016\/j.artint.2022.103808"},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge, MA, USA (2000)"},{"key":"2_CR13","unstructured":"Kuklis, J.: Data complexity of finite query entailment in description logics with transitive roles. In: Proceedings of the DL 2020. CEUR-WS.org (2020)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Models of program logics. In: Proceedings of the FOCS 1979, pp. 115\u2013122. IEEE Computer Society (1979)","DOI":"10.1109\/SFCS.1979.24"},{"issue":"8","key":"2_CR15","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/j.ic.2009.02.004","volume":"207","author":"I Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann, I.: Data-complexity of the two-variable fragment with counting quantifiers. Inf. Comput. 207(8), 867\u2013888 (2009)","journal-title":"Inf. Comput."},{"key":"2_CR16","unstructured":"Rudolph, S.: Undecidability results for database-inspired reasoning problems in very expressive description logics. In: Proceedings of the KR 2016, pp. 247\u2013257. AAAI Press (2016)"},{"key":"2_CR17","doi-asserted-by":"publisher","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, 429\u2013481 (2010)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80283-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T06:46:33Z","timestamp":1738392393000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80283-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031802829","9783031802836"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80283-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"2 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}