Monotone rewritability and the analysis of queries, views, and rules
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...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
IJCAI Organization
2024
|
| _version_ | 1826315348226342912 |
|---|---|
| author | Benedikt, M Kikot, S Marti, J Nawelaja-Ostropolski, P |
| author_facet | Benedikt, M Kikot, S Marti, J Nawelaja-Ostropolski, P |
| author_sort | Benedikt, M |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-09-25T04:19:00Z |
| format | Conference item |
| id | oxford-uuid:81d00039-4320-4875-a4ad-fd234a108f7e |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-12-09T03:24:51Z |
| publishDate | 2024 |
| publisher | IJCAI Organization |
| record_format | dspace |
| spelling | oxford-uuid:81d00039-4320-4875-a4ad-fd234a108f7e2024-11-27T09:29:24ZMonotone rewritability and the analysis of queries, views, and rulesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:81d00039-4320-4875-a4ad-fd234a108f7eEnglishSymplectic ElementsIJCAI Organization2024Benedikt, MKikot, SMarti, JNawelaja-Ostropolski, PWe 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. |
| spellingShingle | Benedikt, M Kikot, S Marti, J Nawelaja-Ostropolski, P Monotone rewritability and the analysis of queries, views, and rules |
| title | Monotone rewritability and the analysis of queries, views, and rules |
| title_full | Monotone rewritability and the analysis of queries, views, and rules |
| title_fullStr | Monotone rewritability and the analysis of queries, views, and rules |
| title_full_unstemmed | Monotone rewritability and the analysis of queries, views, and rules |
| title_short | Monotone rewritability and the analysis of queries, views, and rules |
| title_sort | monotone rewritability and the analysis of queries views and rules |
| work_keys_str_mv | AT benediktm monotonerewritabilityandtheanalysisofqueriesviewsandrules AT kikots monotonerewritabilityandtheanalysisofqueriesviewsandrules AT martij monotonerewritabilityandtheanalysisofqueriesviewsandrules AT nawelajaostropolskip monotonerewritabilityandtheanalysisofqueriesviewsandrules |