Recovering Explanations from Transformed Rule-Based Ontologies

Alex IvlievAlex Ivliev, Markus KrötzschMarkus Krötzsch, Maximilian MarxMaximilian Marx

Download

Alex Ivliev, Markus Krötzsch, Maximilian Marx
Recovering Explanations from Transformed Rule-Based Ontologies
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, And Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear

Details
Bibtex

KurzfassungAbstract
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 evaluated more efficiently. These transformations preserve the entailed facts, but not the structure of the underlying derivations. A proof tree under the rewritten rules explains why a fact holds, but does not readily yield an explanation in terms of the original rules. We study the problem of constructing, from a proof of entailment under the rewritten rules, a proof under the original ones: we establish its computational complexity and identify two practically relevant languages for specifying proof transformations.
Projekt:Project: CPEC, SECAI, ScaDS.AI
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{IKM2026,
  author    = {Alex Ivliev and Markus Kr{\"{o}}tzsch and Maximilian Marx},
  title     = {Recovering Explanations from Transformed Rule-Based Ontologies},
  editor    = {Manolis Koubarakis and Maria-Esther Vidal and Axel Polleres and
               Marieke van Erp and Ernesto Jimenez Ruiz and Oshani Seneviratne
               and Lora Aroyo and Gianluca Demartini and Reham Alharbi and
               Roberto Barile and Claudia {d'Amato} and And Valentina Tamma},
  booktitle = {Proceedings of the 25th International Semantic Web Conference
               (ISWC 2026)},
  year      = {2026}
}