Recuperare Spiegazioni da Ontologie Basate su Regole Trasformate

Uno studio recente in informatica affronta il problema di estrarre spiegazioni da ontologie basate su regole modificate. Le regole Datalog sono spesso impiegate per creare ontologie all'interno di Knowledge Graph, e i motori di regole spesso migliorano queste ontologie riformulando le regole per una maggiore efficienza. Sebbene queste alterazioni mantengano i fatti implicati, non conservano la struttura di derivazione, il che significa che un albero di prova basato sulle regole riscritte non fornisce facilmente una spiegazione utilizzando le regole originali. L'articolo esplora come derivare una prova utilizzando le regole originali da una basata sulle regole riscritte, determinando la sua complessità computazionale e individuando due linguaggi rilevanti per definire le trasformazioni di prova. Questo lavoro è significativo per la logica nell'informatica e influisce sulla trasparenza e spiegabilità dei sistemi di ragionamento nei knowledge graph.