{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:25:55Z","timestamp":1759638355027,"version":"3.41.0"},"reference-count":78,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T00:00:00Z","timestamp":1501459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"\u201ciTract: Islands of Tractability in Ontology-Based Data Access\u201d"},{"name":"INDAM-GNCS project 2017 \u201cLogics and Automata for Interval Model Checking\u201d"},{"name":"EPSRC UK project","award":["EP\/M012670"],"award-info":[{"award-number":["EP\/M012670"]}]},{"name":"Spanish project","award":["TIN15-70266-C2-P-1"],"award-info":[{"award-number":["TIN15-70266-C2-P-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2017,7,31]]},"abstract":"<jats:p>We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of Horn formulas with diamonds is undecidable for any type of linear orders and semantics. On the contrary, satisfiability of Horn formulas with boxes is tractable over both discrete and dense orders under the reflexive semantics and over dense orders under the irreflexive semantics but becomes undecidable over discrete orders under the irreflexive semantics. Satisfiability of binary Horn formulas with both boxes and diamonds is always undecidable under the irreflexive semantics.<\/jats:p>","DOI":"10.1145\/3105909","type":"journal-article","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T12:24:33Z","timestamp":1502713473000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Horn Fragments of the Halpern-Shoham Interval Temporal Logic"],"prefix":"10.1145","volume":"18","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[{"name":"University of Padova, Italy"}]},{"given":"Agi","family":"Kurucz","sequence":"additional","affiliation":[{"name":"King\u2019s College London, UK"}]},{"given":"Emilio","family":"Mu\u00f1oz-Velasco","sequence":"additional","affiliation":[{"name":"University of Malaga, Spain"}]},{"given":"Vladislav","family":"Ryzhikov","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Italy"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[{"name":"University of Ferrara, Italy"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[{"name":"Birkbeck, University of London, UK"}]}],"member":"320","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22002-4_2"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915)","author":"Artale A.","key":"e_1_2_1_4_1","unstructured":"A. Artale , R. Kontchakov , A. Kovtunova , V. Ryzhikov , F. Wolter , and M. Zakharyaschev . 2015a. First-order rewritability of temporal ontology-mediated queries . In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915) . AAAI Press, 2706--2712. A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, and M. Zakharyaschev. 2015a. First-order rewritability of temporal ontology-mediated queries. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915). AAAI Press, 2706--2712."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2007.62"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45221-5_3"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629565"},{"volume-title":"Proceedings of the 29th Conference on Artificial Intelligence (AAAI\u201915)","author":"Artale A.","key":"e_1_2_1_8_1","unstructured":"A. Artale , R. Kontchakov , V. Ryzhikov , and M. Zakharyaschev . 2015b. Tractable interval temporal propositional and description logics . In Proceedings of the 29th Conference on Artificial Intelligence (AAAI\u201915) . AAAI Press, 1417--1423. A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. 2015b. Tractable interval temporal propositional and description logics. In Proceedings of the 29th Conference on Artificial Intelligence (AAAI\u201915). AAAI Press, 1417--1423."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.5.885"},{"volume-title":"Proceedings of the 22nd International Conference on Very Large Data Bases (VLDB\u201996)","author":"B\u00f6hlen M. H.","key":"e_1_2_1_10_1","unstructured":"M. H. B\u00f6hlen , R. T. Snodgrass , and M. D. Soo . 1996. Coalescing in temporal databases . In Proceedings of the 22nd International Conference on Very Large Data Bases (VLDB\u201996) . Morgan Kaufmann, 180--191. M. H. B\u00f6hlen, R. T. Snodgrass, and M. D. Soo. 1996. Coalescing in temporal databases. In Proceedings of the 22nd International Conference on Very Large Data Bases (VLDB\u201996). Morgan Kaufmann, 180--191."},{"volume-title":"Proceedings of the 31st Conference on Artificial Intelligence (AAAI\u201917)","author":"Brandt S.","key":"e_1_2_1_11_1","unstructured":"S. Brandt , E. G. Kalayci , R. Kontchakov , V. Ryzhikov , G. Xiao , and M. Zakharyaschev . 2017. Ontology-based data access with a Horn fragment of metric temporal logic . In Proceedings of the 31st Conference on Artificial Intelligence (AAAI\u201917) . AAAI Press, 1070--1076. S. Brandt, E. G. Kalayci, R. Kontchakov, V. Ryzhikov, G. Xiao, and M. Zakharyaschev. 2017. Ontology-based data access with a Horn fragment of metric temporal logic. In Proceedings of the 31st Conference on Artificial Intelligence (AAAI\u201917). AAAI Press, 1070--1076."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_41"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 20th European Conference on Artificial Intelligence (ECAI\u201912)","volume":"242","author":"Bresolin D.","unstructured":"D. Bresolin , D. Della Monica , A. Montanari , P. Sala , and G. Sciavicco . 2012a. Interval temporal logics over finite linear orders: The complete picture . In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI\u201912) . Frontiers in Artificial Intelligence and Applications Series , vol. 242 . IOS Press, 199--204. D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco. 2012a. Interval temporal logics over finite linear orders: The complete picture. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI\u201912). Frontiers in Artificial Intelligence and Applications Series, vol. 242. IOS Press, 199--204."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.96.12"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15579-1_40"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9337-y"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11558-0_9"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016507527035"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"A. Chagrov and M. Zakharyaschev. 1997. Modal Logic. Clarendon Press Oxford. A. Chagrov and M. Zakharyaschev. 1997. Modal Logic. Clarendon Press Oxford.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(93)90014-Z"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90082-5"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.06.006"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750423.2750436"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119439.1119443"},{"key":"e_1_2_1_26_1","first-page":"73","article-title":"Interval temporal logics: A journey","volume":"105","author":"Della Monica D.","year":"2011","unstructured":"D. Della Monica , V. Goranko , A. Montanari , and G. Sciavicco . 2011 . Interval temporal logics: A journey . Bull. EATCS 105 , 73 -- 99 . D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. 2011. Interval temporal logics: A journey. Bull. EATCS 105, 73--99.","journal-title":"Bull. EATCS"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90018-5"},{"key":"e_1_2_1_28_1","volume-title":"Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics Series","volume":"148","author":"Gabbay D.","unstructured":"D. Gabbay , A. Kurucz , F. Wolter , and M. Zakharyaschev . 2003 . Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics Series , vol. 148 . Elsevier. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. 2003. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics Series, vol. 148. Elsevier."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622503.1622508"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1122038925"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2006.01.001"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.82"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699918"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/174147.169675"},{"key":"e_1_2_1_35_1","volume-title":"Eds. Studies in Logic and Practical Reasoning Series","volume":"3","author":"Goranko V.","unstructured":"V. Goranko and M. Otto . 2006. Model theory of modal logic. In Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter , Eds. Studies in Logic and Practical Reasoning Series , vol. 3 . Elsevier, 255--325. V. Goranko and M. Otto. 2006. Model theory of modal logic. In Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter, Eds. Studies in Logic and Practical Reasoning Series, vol. 3. Elsevier, 255--325."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"volume-title":"Proceedings of the 25th International Joint Conference on Artificial Intelligence, (IJCAI\u201916)","author":"Guti\u00e9rrez-Basulto V.","key":"e_1_2_1_37_1","unstructured":"V. Guti\u00e9rrez-Basulto , J. C. Jung , and R. Kontchakov . 2016a. Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries . In Proceedings of the 25th International Joint Conference on Artificial Intelligence, (IJCAI\u201916) . IJCAI\/AAAI Press, 1102--1108. V. Guti\u00e9rrez-Basulto, J. C. Jung, and R. Kontchakov. 2016a. Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries. In Proceedings of the 25th International Joint Conference on Artificial Intelligence, (IJCAI\u201916). IJCAI\/AAAI Press, 1102--1108."},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)","volume":"285","author":"Guti\u00e9rrez-Basulto V.","unstructured":"V. Guti\u00e9rrez-Basulto , J. C. Jung , and A. Ozaki . 2016b. On metric temporal description logics . In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) Including Prestigious Applications of Artificial Intelligence (PAIS\u201916). Frontiers in Artificial Intelligence and Applications Series , vol. 285 . IOS Press, 837--845. V. Guti\u00e9rrez-Basulto, J. C. Jung, and A. Ozaki. 2016b. On metric temporal description logics. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) Including Prestigious Applications of Artificial Intelligence (PAIS\u201916). Frontiers in Artificial Intelligence and Applications Series, vol. 285. IOS Press, 837--845."},{"volume-title":"Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914)","author":"Guti\u00e9rrez-Basulto V.","key":"e_1_2_1_39_1","unstructured":"V. Guti\u00e9rrez-Basulto , J. C. Jung , and T. Schneider . 2014. Lightweight description logics and branching time: A troublesome marriage . In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914) . AAAI Press. V. Guti\u00e9rrez-Basulto, J. C. Jung, and T. Schneider. 2014. Lightweight description logics and branching time: A troublesome marriage. In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914). AAAI Press."},{"volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915)","author":"Guti\u00e9rrez-Basulto V.","key":"e_1_2_1_40_1","unstructured":"V. Guti\u00e9rrez-Basulto , J. C. Jung , and T. Schneider . 2015. Lightweight temporal description logics with rigid roles and restricted Tboxes . In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915) . AAAI Press, 3015--3021. V. Guti\u00e9rrez-Basulto, J. C. Jung, and T. Schneider. 2015. Lightweight temporal description logics with rigid roles and restricted Tboxes. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915). AAAI Press, 3015--3021."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2757285"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.06.007"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2003.1214884"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00018-X"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029847"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9080-3"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 14th International Semantic Web Conf. (ISWC\u201915)","volume":"9367","author":"Kharlamov E.","unstructured":"E. Kharlamov , D. Hovland , E. Jim\u00e9nez-Ruiz , D. Lanti , H. Lie , C. Pinkel , M. Rezk , M. G. Skj\u00e6veland , E. Thorstensen , G. Xiao , D. Zheleznyakov , and I. Horrocks . 2015. Ontology based access to exploration data at Statoil . In Proceedings of the 14th International Semantic Web Conf. (ISWC\u201915) , Part II. LNCS Series , vol. 9367 . Springer, 93--112. E. Kharlamov, D. Hovland, E. Jim\u00e9nez-Ruiz, D. Lanti, H. Lie, C. Pinkel, M. Rezk, M. G. Skj\u00e6veland, E. Thorstensen, G. Xiao, D. Zheleznyakov, and I. Horrocks. 2015. Ontology based access to exploration data at Statoil. In Proceedings of the 14th International Semantic Web Conf. (ISWC\u201915), Part II. LNCS Series, vol. 9367. Springer, 93--112."},{"volume-title":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916)","author":"Kontchakov R.","key":"e_1_2_1_49_1","unstructured":"R. Kontchakov , L. Pandolfo , L. Pulina , V. Ryzhikov , and M. Zakharyaschev . 2016. Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic . In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916) . IJCAI\/AAAI Press. R. Kontchakov, L. Pandolfo, L. Pulina, V. Ryzhikov, and M. Zakharyaschev. 2016. Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916). IJCAI\/AAAI Press."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 13th International Semantic Web Conference (ISWC\u201914)","volume":"8796","author":"Kontchakov R.","unstructured":"R. Kontchakov , M. Rezk , M. Rodriguez-Muro , G. Xiao , and M. Zakharyaschev . 2014. Answering SPARQL queries over databases under OWL 2 QL entailment regime . In Proceedings of the 13th International Semantic Web Conference (ISWC\u201914) , Part I. LNCS Series , vol. 8796 . Springer, 552--567. R. Kontchakov, M. Rezk, M. Rodriguez-Muro, G. Xiao, and M. Zakharyaschev. 2014. Answering SPARQL queries over databases under OWL 2 QL entailment regime. In Proceedings of the 13th International Semantic Web Conference (ISWC\u201914), Part I. LNCS Series, vol. 8796. Springer, 552--567."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422085.2422087"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380776.2380786"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80018-8"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44464-5_21"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.14"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/2608462.2608466"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.6.897"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.18"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14162-1_29"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45757-7_22"},{"volume-title":"The Theory of Computation","author":"Moret B. M.","key":"e_1_2_1_61_1","unstructured":"B. M. Moret . 1998. The Theory of Computation . Addison-Wesley . B. M. Moret. 1998. The Theory of Computation. Addison-Wesley."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24598-0_10"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9327-5"},{"volume-title":"Advances in Modal Logic","author":"Nguyen L.","key":"e_1_2_1_64_1","unstructured":"L. Nguyen . 2005. On the complexity of fragments of modal logics . In Advances in Modal Logic , Vol. 5 , R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, Eds. King\u2019s College Publications , 249--268. L. Nguyen. 2005. On the complexity of fragments of modal logics. In Advances in Modal Logic, Vol. 5, R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, Eds. King\u2019s College Publications, 249--268."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems (SSWS+HPCSW\u201912)","volume":"943","author":"P\u00e9rez-Urbina H.","unstructured":"H. P\u00e9rez-Urbina , E. Rodr\u00edguez-D\u00edaz , M. Grove , G. Konstantinidis , and E. Sirin . 2012. Evaluation of query rewriting approaches for OWL 2 . In Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems (SSWS+HPCSW\u201912) . CEUR-WS Series , vol. 943 . H. P\u00e9rez-Urbina, E. Rodr\u00edguez-D\u00edaz, M. Grove, G. Konstantinidis, and E. Sirin. 2012. Evaluation of query rewriting approaches for OWL 2. In Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems (SSWS+HPCSW\u201912). CEUR-WS Series, vol. 943."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77688-8_5"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/1090725.1644607"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/11.6.909"},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the 12th International Semantic Web Conference (ISWC\u201913)","volume":"8218","author":"Rodriguez-Muro M.","unstructured":"M. Rodriguez-Muro , R. Kontchakov , and M. Zakharyaschev . 2013. Ontology-based data access: Ontop of databases . In Proceedings of the 12th International Semantic Web Conference (ISWC\u201913) . LNCS Series , vol. 8218 . Springer, 558--573. M. Rodriguez-Muro, R. Kontchakov, and M. Zakharyaschev. 2013. Ontology-based data access: Ontop of databases. In Proceedings of the 12th International Semantic Web Conference (ISWC\u201913). LNCS Series, vol. 8218. Springer, 558--573."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15205-4_38"},{"key":"e_1_2_1_71_1","volume-title":"OBDA: Query rewriting or materialization? In practice, both&excl","author":"Sequeda J. F.","year":"2014","unstructured":"J. F. Sequeda , M. Arenas , and D. P. Miranker . 2014 . OBDA: Query rewriting or materialization? In practice, both&excl ; In Proceedings of the 13th International Semantic Web Conference (ISWC\u201914), Part I. LNCS Series, vol. 8796 . Springer , 535--551. J. F. Sequeda, M. Arenas, and D. P. Miranker. 2014. OBDA: Query rewriting or materialization? In practice, both&excl; In Proceedings of the 13th International Semantic Web Conference (ISWC\u201914), Part I. LNCS Series, vol. 8796. Springer, 535--551."},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.1277816"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635589"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.4.453"},{"key":"e_1_2_1_76_1","unstructured":"W3C OWL Working Group. 2012. OWL 2 Web Ontology Language Document Overview. Retrieved from http:\/\/www.w3.org\/TR\/owl2-overview\/. W3C OWL Working Group. 2012. OWL 2 Web Ontology Language Document Overview. Retrieved from http:\/\/www.w3.org\/TR\/owl2-overview\/."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54069-5_17"},{"volume-title":"Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914)","author":"Zhang P.","key":"e_1_2_1_78_1","unstructured":"P. Zhang and J. Renz . 2014. Qualitative spatial representation and reasoning in angry birds: The extended rectangle algebra . In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914) . AAAI Press. P. Zhang and J. Renz. 2014. Qualitative spatial representation and reasoning in angry birds: The extended rectangle algebra. In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914). AAAI Press."},{"key":"e_1_2_1_79_1","volume-title":"Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science","author":"Zhou C.","year":"2004","unstructured":"C. Zhou and M. R. Hansen . 2004 . Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science . Springer . C. Zhou and M. R. Hansen. 2004. Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3105909","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3105909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:04Z","timestamp":1750217404000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3105909"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,31]]},"references-count":78,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,7,31]]}},"alternative-id":["10.1145\/3105909"],"URL":"https:\/\/doi.org\/10.1145\/3105909","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2017,7,31]]},"assertion":[{"value":"2016-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-08-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}