conftrace_

role chain axiom

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ontology entailment (1) horn logic (1) ontology rewriting (1) assertion entailment (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