{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:05Z","timestamp":1750309325928,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"MCIN\/AEI","award":["PID2021-126436OB-C21"],"award-info":[{"award-number":["PID2021-126436OB-C21"]}]},{"name":"FEDER, UE","award":["10.13039\/501100011033"],"award-info":[{"award-number":["10.13039\/501100011033"]}]},{"DOI":"10.13039\/501100002809","name":"Generalitat de Catalunya","doi-asserted-by":"publisher","award":["2021-SGR-01252"],"award-info":[{"award-number":["2021-SGR-01252"]}],"id":[{"id":"10.13039\/501100002809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3687790","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"51-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["IMP-Logics: a metamodel for analysis and transformations of Datalog programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-3815-6480","authenticated-orcid":false,"given":"Jos\u00e9 Francisco","family":"Crespo","sequence":"first","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7390-7310","authenticated-orcid":false,"given":"Mart\u00ed","family":"Juanola","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8845-8504","authenticated-orcid":false,"given":"Xavier","family":"Oriol","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0385-8434","authenticated-orcid":false,"given":"Mart\u00ed","family":"Recalde","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8890-9638","authenticated-orcid":false,"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8nica de Catalunya, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350250"},{"key":"e_1_3_2_1_2_1","volume-title":"International Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (ARea","author":"Bishop Barry","year":"2008","unstructured":"Barry Bishop and Florian Fischer. 2008. Iris-integrated rule inference system. In International Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (ARea 2008). Citeseer."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.27"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Stefano Ceri Georg Gottlob Letizia Tanca et al. 1989. What you always wanted to know about Datalog(and never dared to ask). IEEE transactions on knowledge and data engineering 1 1 (1989) 146--166.","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_5_1","volume-title":"29th Int. Conf. Advanced Information Systems Engineering, CAiSE","author":"Giacomo Giuseppe De","year":"2017","unstructured":"Giuseppe De Giacomo, Xavier Oriol, Montserrat Estanol, and Ernest Teniente. 2017. Linking data and BPMN processes to achieve executable models. In 29th Int. Conf. Advanced Information Systems Engineering, CAiSE 2017. Springer, 612--628."},{"key":"e_1_3_2_1_6_1","volume-title":"International Semantic Web Conference. Springer, 167--183","author":"Giacomo Giuseppe De","year":"2016","unstructured":"Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, and Domenico Fabio Savo. 2016. Updating DL-Lite ontologies through first-order queries. In International Semantic Web Conference. Springer, 167--183."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2638546"},{"key":"e_1_3_2_1_8_1","unstructured":"Antoni Oliv\u00e9. 1991. Integrity Constraints Checking In Deductive Databases.. In VLDB. 513--523."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.03.015"},{"key":"e_1_3_2_1_10_1","volume-title":"19th Int. Conf. on Extending Database Technology (EDBT). 632--635","author":"Oriol Xavier","year":"2016","unstructured":"Xavier Oriol, Ernest Teniente, and Guillem Rull. 2016. TINTIN: a tool for incremental integrity checking of assertions in SQL server. In 19th Int. Conf. on Extending Database Technology (EDBT). 632--635."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0350-8"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"],"location":"Linz Austria","acronym":"MODELS Companion '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687790","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3687790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":11,"alternative-id":["10.1145\/3652620.3687790","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3687790","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}