Conference item
Monotone rewritability and the analysis of queries, views, and rules
- Abstract:
- We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the query answer from the views via a monotone function. We study the decidability of monotonic determinacy, and compare with variations that require the “recovery function” to be in a well-known monotone query language, such as conjunctive queries or Datalog. Surprisingly, we find that even in the presence of basic existential rules, the borderline between well-behaved and badly-behaved answerability differs radically from the unconstrained case. In order to understand this boundary, we require new results concerning entailment problems involving views and rules.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 1.2MB, Terms of use)
-
- Publisher copy:
- 10.24963/kr.2024/11
Authors
+ Engineering and Physical Sciences Research Council
More from this funder
- Funder identifier:
- https://ror.org/0439y7842
- Grant:
- EP/T022124/1
- Publisher:
- IJCAI Organization
- Host title:
- Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning
- Pages:
- 117–127
- Publication date:
- 2024-10-26
- Acceptance date:
- 2024-07-24
- Event title:
- 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
- Event location:
- Hanoi, Vietnam
- Event website:
- https://kr.org/KR2024
- Event start date:
- 2024-11-02
- Event end date:
- 2024-11-08
- DOI:
- ISSN:
-
2334-1033
- ISBN:
- 978-1-956792-05-8
- Language:
-
English
- Keywords:
- Pubs id:
-
2017746
- Local pid:
-
pubs:2017746
- Deposit date:
-
2024-07-22
Terms of use
- Copyright holder:
- International Joint Conferences on Artificial Intelligence Organization.
- Copyright date:
- 2024
- Rights statement:
- © 2024 International Joint Conferences on Artificial Intelligence Organization
- Notes:
- This paper will be presented at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2nd-8th November 2024, Hanoi, Vietnam. For the purposes of open access, the author has applied a Creative Commons Attribution (CC BY) licence to any Accepted Author Manuscript version arising from this submission. This is the accepted manuscript version of the article. The final version is available online from IJCAI Organization at https://dx.doi.org/10.24963/kr.2024/11
If you are the owner of this record, you can report an update to it here: Report update to this record