conftrace_

ontology axiomatization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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