conftrace_

conjunctive query answering

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

existential rule (2) chase termination (1) ontology axiomatization (1) acyclicity notion (1) repair semantics (1) inconsistent knowledge base (1) finite controllability (1) datalog reasoning (1) ontology reasoning (1) data complexity (1)

Papers

Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020 Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018 The Bag Semantics of Ontology-Based Data Access IJCAI 2017