Riscrivere le ontologie OWL in vincoli SHACL per una validazione efficiente
Un nuovo articolo su arXiv (2608.14104) propone un metodo per internalizzare gli assiomi OWL in vincoli SHACL, consentendo la validazione di grafi RDF con ontologie OWL utilizzando qualsiasi validatore SHACL core. L'approccio si rivolge alle ontologie OWL EL^-, un frammento di OWL EL, e costruisce una riscrittura che produce vincoli SHACL equivalenti alle forme e all'ontologia originali. Ciò elimina la necessità di passaggi separati di ragionamento e validazione, migliorando l'efficienza e riducendo gli errori. L'articolo è una versione estesa ed è disponibile su arXiv.
Fatti principali
- L'articolo è intitolato 'Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version)'.
- È disponibile su arXiv con ID 2608.14104.
- L'articolo affronta la sfida di validare grafi RDF che vengono forniti con ontologie OWL.
- Propone una riscrittura che internalizza gli assiomi OWL in vincoli SHACL.
- La riscrittura funziona per ontologie OWL EL^-, un frammento di OWL EL.
- I vincoli SHACL risultanti possono essere valutati da qualsiasi validatore che supporti SHACL core.
- Questo approccio evita la necessità di passaggi separati di ragionamento e validazione.
- L'articolo è classificato come un annuncio incrociato su arXiv.
Entità
Istituzioni
- W3C
- arXiv