Recovering Explanations from Transformed Rule-Based Ontologies

Alex Ivliev, Markus Krötzsch, Maximilian Marx

Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules into a form that can be evaluate…