conftrace_

disjunctive skolem chase

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean conjunctive query (1) chase termination (1) existential rule (1) knowledge base (1)

Papers

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase AAAI 2023