{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:52Z","timestamp":1750306672256,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T00:00:00Z","timestamp":1403049600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,18]]},"DOI":"10.1145\/2594538.2594556","type":"proceedings-article","created":{"date-parts":[[2014,6,20]],"date-time":"2014-06-20T13:06:05Z","timestamp":1403269565000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Expressiveness of guarded existential rule languages"],"prefix":"10.1145","author":[{"given":"Georg","family":"Gottlob","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}]},{"given":"Mantas","family":"Simkus","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2014,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(91)90032-Z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594538.2594555"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1642293.1642351"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1215128"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.002"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283519"},{"key":"e_1_3_2_1_8_1","first-page":"98","volume-title":"Proc.of MFCS'13","author":"B\u00e1r\u00e1ny V.","year":"2013","unstructured":"V. B\u00e1r\u00e1ny , M. Benedikt , and B. ten Cate . Rewriting guarded negation queries . In Proc.of MFCS'13 , pages 98 -- 110 . ACM, 2013 . V. B\u00e1r\u00e1ny, M. Benedikt, and B. ten Cate. Rewriting guarded negation queries. In Proc.of MFCS'13, pages 98--110. ACM, 2013."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.26"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350250"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1636"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465223"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2734"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591252"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.03.001"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-008-9086-5"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc.of AAAI'2012","author":"Eiter T.","year":"2012","unstructured":"T. Eiter , M. Ortiz , M. Simkus , T.-K. Tran , and G. Xiao . Query rewriting for horn-shiq plus rules . In Proc.of AAAI'2012 . AAAI Press , 2012 . T. Eiter, M. Ortiz, M. Simkus, T.-K. Tran, and G. Xiao. Query rewriting for horn-shiq plus rules. In Proc.of AAAI'2012. AAAI Press, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645916.671975"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9080-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661771"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283559"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03079-6_3"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc.of KR'10","author":"Ortiz M.","year":"2010","unstructured":"M. Ortiz , S. Rudolph , and M. Simkus . Worst-case optimal reasoning for the horn-dl fragments of owl 1 and 2 . In Proc.of KR'10 . AAAI Press , 2010 . M. Ortiz, S. Rudolph, and M. Simkus. Worst-case optimal reasoning for the horn-dl fragments of owl 1 and 2. In Proc.of KR'10. AAAI Press, 2010."},{"key":"e_1_3_2_1_28_1","first-page":"21","article-title":"A note the expressive power of prolog","volume":"26","author":"Papadimitriou C. H.","year":"1985","unstructured":"C. H. Papadimitriou . A note the expressive power of prolog . Bulletin of the EATCS , 26 : 21 -- 22 , 1985 . C. H. Papadimitriou. A note the expressive power of prolog. Bulletin of the EATCS, 26:21--22,1985.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"S. Rudolph M. Kr\u00f6tzsch and P. Hitzler. Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog. Logical Methods in Comp. Science 8(1) 2012.  S. Rudolph M. Kr\u00f6tzsch and P. Hitzler. Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog. Logical Methods in Comp. Science 8(1) 2012.","DOI":"10.2168\/LMCS-8(1:12)2012"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of KR 2012","author":"Thomazo M.","year":"2012","unstructured":"M. Thomazo , J.-F. Baget , M.-L. Mugnier , and S. Rudolph . A generic querying algorithm for greedy sets of existential rules . In Proc. of KR 2012 , 2012 . M. Thomazo, J.-F. Baget, M.-L. Mugnier, and S. Rudolph. A generic querying algorithm for greedy sets of existential rules. In Proc. of KR 2012, 2012."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802186"}],"event":{"name":"SIGMOD\/PODS'14: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Snowbird Utah USA","acronym":"SIGMOD\/PODS'14"},"container-title":["Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594538.2594556","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594538.2594556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:52Z","timestamp":1750230052000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594538.2594556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,18]]},"references-count":31,"alternative-id":["10.1145\/2594538.2594556","10.1145\/2594538"],"URL":"https:\/\/doi.org\/10.1145\/2594538.2594556","relation":{},"subject":[],"published":{"date-parts":[[2014,6,18]]},"assertion":[{"value":"2014-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}