English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper is about (first order) query rewritability in the context oftheory-mediated query answering. The starting point of our journey is theFUS/FES conjecture, saying that if a theory is core-terminating (FES) andadmits query rewriting (BDD, FUS) then it is uniformly bounded. We show thatthis conjecture is true for a wide class of "local" BDD theories. Then we askhow non-local can a BDD theory actually be and we discover phenomena which wethink are quite counter-intuitive.

A Journey to the Frontiers of Query Rewritability