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

Raphaël Gazzotti 1 Olivier Corby 1 Catherine Faron-Zucker 1
1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Résumé : 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.
Type de document :
Communication dans un congrès
PFIA 2017 - Atelier OWL Reasoning in Practice, Plate-Forme Intelligence Artificielle , Jul 2017, Caen, France. pp.11
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01559088
Contributeur : Raphaël Gazzotti <>
Soumis le : lundi 10 juillet 2017 - 13:46:48
Dernière modification le : mercredi 20 septembre 2017 - 09:55:40

Fichier

Validateur d'ontologies par ra...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01559088, version 1

Collections

Citation

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>

Partager

Métriques

Consultations de
la notice

94

Téléchargements du document

26