New method reconstructs original ontology rules from transformed versions

Researchers have developed a method to reconstruct original rule-based ontologies from transformed versions used in Datalog rule reasoners. This process aims to provide explanations for entailed facts that are understandable in terms of the initial rules, rather than the optimized, rewritten ones. The study analyzes the computational complexity of this reconstruction problem and identifies specific languages suitable for specifying the proof transformations involved. AI

IMPACT This research could improve the interpretability of AI systems that rely on rule-based ontologies and knowledge graphs.

RANK_REASON The cluster contains an academic paper detailing a new method for reconstructing ontology rules. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

• arXiv
• Datalog
• knowledge graph

• paper
• other

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →