conftrace_

assertion entailment

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ontology rewriting (1) horn logic (1) ontology entailment (1) role chain axiom (1) datalog rewriting (1) description logic (1) knowledge representation (1)

Papers

From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019