conftrace_

ontology rewriting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

assertion entailment (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