Rewriting Guarded Negation Queries
From MaRDI portal
Publication:2849901
DOI10.1007/978-3-642-40313-2_11zbMath1398.68120OpenAlexW2263859483MaRDI QIDQ2849901
Balder ten Cate, Vince Bárány, Michael Benedikt
Publication date: 20 September 2013
Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40313-2_11
Database theory (68P15) Logic in computer science (03B70) Interpolation, preservation, definability (03C40)
Related Items (12)
Effective Interpolation and Preservation in Guarded Logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Craig interpolation with clausal first-order tableaux ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Bisimulation quantifiers and uniform interpolation for guarded first order logic ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ Guarded Negation ⋮ Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog ⋮ Evaluating Datalog via tree automata and cycluits ⋮ The Impact of Active Domain Predicates on Guarded Existential Rules
This page was built for publication: Rewriting Guarded Negation Queries
