conftrace_

tuple-generating dependencies

4 papers

Explore in graph

Also known as

TGD TGDS

Co-occurring keywords · papers mentioning both

existential rule (4) query answering (2) weakly-acyclic program (1) existential rule language (1) program expressive power (1) model-theoretic properties (1) ontology language (1) logical language (1) tuple-generating dependency (1) model theory (1)

Papers

A Datalog Rewriting Algorithm for Warded Ontologies IJCAI 2025 Temporal Datalog with Existential Quantification IJCAI 2023 Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020