conftrace_

existential rule language

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

program expressive power (1) model-theoretic properties (1) tuple-generating dependencies (1) ontology language (1) tuple-generating dependency (1) existential rule (1) automata theory (1) query answering (1)

Papers

Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022