conftrace_

boolean conjunctive query

2 papers

Explore in graph

Also known as

BCQ

Co-occurring keywords · papers mentioning both

disjunctive skolem chase (1) horn logic (1) chase termination (1) horn fragment (1) loosely guarded fragment (1) ontology-based query answering (1) existential rule (1) query answering (1) conjunctive query (1) automated reasoning (1)

Papers

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase AAAI 2023 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020