Recovering Explanations from Transformed Rule-Based Ontologies
DGX agentarXiv:2608.06399v1 Announce Type: cross Abstract: Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules in