Stratificazione a Catena: Una Nuova Semantica per le Regole RDF con Negazione

Uno studio recente pubblicato su arXiv (2607.28778) introduce la stratificazione a catena come criterio solido per mantenere una semantica efficace per i linguaggi di regole RDF, come N3 e SHACL Rules, in particolare quando è coinvolta la negazione di default. Gli autori affrontano problemi in cui le tecniche di stratificazione attuali falliscono a causa di informazioni insufficienti nelle triple individuali, che ostacolano le restrizioni di dipendenza, e la presenza di nodi vuoti nelle teste delle regole che complica l'ordine di applicazione delle regole. Integrando un'analisi delle derivazioni potenziali a più passi con i vincoli di integrità, la stratificazione a catena elimina scenari impossibili. Seguire questo metodo garantisce un grafo RDF unico e snello indipendentemente dall'ordine di applicazione delle regole. Questa versione estesa discute anche le regole esistenziali in generale ed è significativa per i settori dell'arte digitale e del patrimonio culturale, dove le regole RDF svolgono un ruolo nei dati collegati per i metadati artistici.