conftrace_

decidable queries

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

chase termination (1) ontological reasoning (1) existential rule (1) query answering (1)

Papers

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract) IJCAI 2022