conftrace_

acyclicity notion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

chase termination (1) ontology axiomatization (1) conjunctive query answering (1) existential rule (1) ontology reasoning (1)

Papers

Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020