{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:54Z","timestamp":1775053434070,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T00:00:00Z","timestamp":1237766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/E010865\/1"],"award-info":[{"award-number":["EP\/E010865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,23]]},"DOI":"10.1145\/1514894.1514897","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:53Z","timestamp":1239035693000},"page":"14-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":49,"title":["Datalog\n            <sup>\u00b1<\/sup>"],"prefix":"10.1145","author":[{"given":"Andrea","family":"Cal\u00ec","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Lukasiewicz","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/61352.61354"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800076.802489"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682563"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1636"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"e_1_3_2_1_8_1","volume-title":"RDF vocabulary description language 1.0: RDF Schema","author":"Brickley D.","year":"2004","unstructured":"D. Brickley and R. V. Guha . RDF vocabulary description language 1.0: RDF Schema , 2004 . W3C Recommendation . D. Brickley and R. V. Guha. RDF vocabulary description language 1.0: RDF Schema, 2004. W3C Recommendation."},{"key":"e_1_3_2_1_9_1","volume-title":"Taming the infinite chase: Query answering under expressive relational constraints. Unpublished technical report","author":"Cal\u00ec A.","year":"2008","unstructured":"A. Cal\u00ec , G. Gottlob , and M. Kifer . Taming the infinite chase: Query answering under expressive relational constraints. Unpublished technical report , 2008 . Available from the authors or at http:\/\/benner.dbai.tuwien.ac.at\/staff\/gottlob\/CGK.pdf. This is the full and revised version of a preliminary short version which has appeared in Proc. of KR 2008, pages 70--80. AAAI Press, 2008. A. Cal\u00ec, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. Unpublished technical report, 2008. Available from the authors or at http:\/\/benner.dbai.tuwien.ac.at\/staff\/gottlob\/CGK.pdf. This is the full and revised version of a preliminary short version which has appeared in Proc. of KR 2008, pages 70--80. AAAI Press, 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"A general Datalog-based framework for tractable query answering over ontologies","author":"Cal\u00ec A.","year":"2008","unstructured":"A. Cal\u00ec , G. Gottlob , and T. Lukasiewicz . A general Datalog-based framework for tractable query answering over ontologies , 2008 . Manuscript , available from the authors. A. Cal\u00ec, G. Gottlob, and T. Lukasiewicz. A general Datalog-based framework for tractable query answering over ontologies, 2008. Manuscript, available from the authors."},{"key":"e_1_3_2_1_11_1","first-page":"942","volume-title":"Proc. of VLDB 2006","author":"Cal\u00ec A.","year":"2006","unstructured":"A. Cal\u00ec and M. Kifer . Containment of conjunctive object meta-queries . In Proc. of VLDB 2006 , pages 942 -- 952 . ACM Press , 2006 . A. Cal\u00ec and M. Kifer. Containment of conjunctive object meta-queries. In Proc. of VLDB 2006, pages 942--952. ACM Press, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773179"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90075-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/83229"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800076.802488"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803397"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214049"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785162.1785170"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376938"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.656436"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1O16\/j.tcs.2004.10.033"},{"key":"e_1_3_2_1_24_1","first-page":"123","volume-title":"Proc. of DL 2000","author":"Goncalves M. E.","year":"2000","unstructured":"M. E. Goncalves and E. Gr\u00e4del . Decidability issues for action guarded logics . In Proc. of DL 2000 , pages 123 -- 132 , 2000 . M. E. Goncalves and E. Gr\u00e4del. Decidability issues for action guarded logics. In Proc. of DL 2000, pages 123--132, 2000."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055560"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00012-9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"key":"e_1_3_2_1_28_1","first-page":"466","volume-title":"Proc. of IJCAI 2005","author":"Hustadt U.","year":"2005","unstructured":"U. Hustadt , B. Motik , and U. Sattler . Data complexity of reasoning in very expressive description logics . In Proc. of IJCAI 2005 , pages 466 -- 471 , 2005 . U. Hustadt, B. Motik, and U. Sattler. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI 2005, pages 466--471, 2005."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90081-3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210335"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80002-3"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1135777.1135784"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793934.1793939"},{"key":"e_1_3_2_1_36_1","first-page":"48","volume-title":"Proc. of ICDE 1996","author":"Qian X.","year":"1996","unstructured":"X. Qian . Query folding . In Proc. of ICDE 1996 , pages 48 -- 55 . IEEE, 1996 . X. Qian. Query folding. In Proc. of ICDE 1996, pages 48--55. IEEE, 1996."},{"key":"e_1_3_2_1_37_1","volume-title":"Principles of Database and Knowledge Base Systems","author":"Ullman J. D.","year":"1989","unstructured":"J. D. Ullman . Principles of Database and Knowledge Base Systems . CS Press , Rockville, MD , 1989 . J. D. Ullman. Principles of Database and Knowledge Base Systems. CS Press, Rockville, MD, 1989."},{"key":"e_1_3_2_1_38_1","unstructured":"M. Y. Vardi 1984. Personal communication reported in {29}.  M. Y. Vardi 1984. Personal communication reported in {29}."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/212433.212474"}],"event":{"name":"EDBT\/ICDT '09: EDBT\/ICDT '09 joint conference","location":"St. Petersburg Russia","acronym":"EDBT\/ICDT '09"},"container-title":["Proceedings of the 12th International Conference on Database Theory"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514897","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1514894.1514897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:20Z","timestamp":1750253420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514897"}},"subtitle":["a unified approach to ontologies and integrity constraints"],"short-title":[],"issued":{"date-parts":[[2009,3,23]]},"references-count":39,"alternative-id":["10.1145\/1514894.1514897","10.1145\/1514894"],"URL":"https:\/\/doi.org\/10.1145\/1514894.1514897","relation":{},"subject":[],"published":{"date-parts":[[2009,3,23]]},"assertion":[{"value":"2009-03-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}