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

Dans cet article, nous abordons la question de recherche generale Comment exprimer des contraintes sur des donnees RDF et comment verifier qu'un graphe RDF satisfasse un certain nombre de contraintes ? Nous nous concentrons sur le cas particulier de l'expression des contraintes telles que definies par les profils de OWL 2 et nous verifions ces contraintes pour determiner la conformite d'une ontologie OWL et mettre en evidence la presence eventuelle d'enonces sources de non conformite. Nous proposons une approche basee sur le langage SPARQL Template Transformation Language (STTL). Un template STTL est une regle de transformation qui s'applique sur un graphe RDF donne et par le biais d'appels recursifs de templates STTL sur un graphe RDF nous obtenons une sortie textuelle, resultante de la transformation de ce meme graphe. Nous montrons que STTL peut etre utilise comme un langage de contraintes sur RDF et nous l'utilisons afin d'implementer la semantique propre a chaque profil de OWL 2, chacun pouvant etre interprete comme un ensemble de contraintes a respecter sur les definitions de classes et de proprietes. Chaque profil de OWL 2 est ainsi represente par un ensemble de templates STTL qu'une ontologie valide se doit de satisfaire.