{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T04:13:11Z","timestamp":1730002391468,"version":"3.28.0"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11]]},"abstract":"We study the interaction of views, queries, and background\n\nknowledge in the form of existential rules. The motivating\n\nquestions concern monotonic determinacy of a query using\n\nviews w.r.t. rules, which refers to the ability to recover the\n\nquery answer from the views via a monotone function. We\n\nstudy the decidability of monotonic determinacy, and compare\n\nwith variations that require the \u201crecovery function\u201d to\n\nbe in a well-known monotone query language, such as conjunctive queries or Datalog. Surprisingly, we find that even\n\nin the presence of basic existential rules, the borderline between well-behaved and badly-behaved answerability differs\n\nradically from the unconstrained case. In order to understand\n\nthis boundary, we require new results concerning entailment\n\nproblems involving views and rules.<\/jats:p>","DOI":"10.24963\/kr.2024\/11","type":"proceedings-article","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T06:30:28Z","timestamp":1729924228000},"page":"117-127","source":"Crossref","is-referenced-by-count":0,"title":["Monotone Rewritability and the Analysis of Queries, Views, and Rules"],"prefix":"10.24963","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"University of Oxford"}]},{"given":"Stanislav","family":"Kikot","sequence":"additional","affiliation":[{"name":"Not provided"}]},{"given":"Johannes","family":"Marti","sequence":"additional","affiliation":[{"name":"Not provided"}]},{"given":"Piotr","family":"Ostropolski-Nawelaja","sequence":"additional","affiliation":[{"name":"University of Wroclaw"}]}],"member":"10584","event":{"name":"21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Hanoi, Vietnam","acronym":"KR-2024","number":"21","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2024,11,1]]},"end":{"date-parts":[[2024,11,8]]}},"container-title":["Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T06:30:31Z","timestamp":1729924231000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2024\/11"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2024\/11","relation":{},"subject":[],"published":{"date-parts":[[2024,11]]}}}