Un validateur d'ontologies par rapport à des profils OWL implémenté dans le langage STTL

Raphaël Gazzotti (1, 2) , Olivier Corby (1, 2) , Catherine Faron Zucker (2, 1)

1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
2 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

Dans cet article, nous abordons la question de recherche générale Comment exprimer des contraintes sur des données RDF et comment vérifier qu'un graphe RDF satisfasse un certain nombre de contraintes ? Nous nous concentrons sur le cas particulier de l'expression des contraintes telles que définies par les profils de OWL 2 et nous vérifions ces contraintes pour déterminer la conformité d'une ontologie OWL et mettre en évidence la présence éventuelle d'énoncés sources de non conformité. Nous proposons une approche basée sur le langage SPARQL Template Transformation Language (STTL). Un template STTL est une règle de transformation qui s'applique sur un graphe RDF donné et par le biais d'appels récursifs de templates STTL sur un graphe RDF nous obtenons une sortie textuelle, résultante de la transformation de ce même graphe. Nous montrons que STTL peut être utilisé comme un langage de contraintes sur RDF et nous l'utilisons afin d'implémenter la sémantique propre à chaque profil de OWL 2, chacun pouvant être interprété comme un ensemble de contraintes à respecter sur les définitions de classes et de propriétés. Chaque profil de OWL 2 est ainsi représenté par un ensemble de templates STTL qu'une ontologie valide se doit de satisfaire.

Mots clés: OWL 2; RDF; STTL; Ontologies; Validation; Langage de contrainte

Domaines: Intelligence artificielle [cs.AI]; Web

Raphaël Gazzotti, Olivier Corby, Catherine Faron Zucker. Un validateur d'ontologies par rapport à des profils OWL implémenté dans le langage STTL. PFIA 2017 - Atelier OWL Reasoning in Practice, Plate-Forme Intelligence Artificielle , Jul 2017, Caen, France. pp.11. ⟨hal-01559088⟩