Validating Ontologies against OWL 2 Profiles with the SPARQL Template Transformation Language

International audienceIn this paper we address the general research question of How can we express constraints on RDF data and how can we check that an RDF graph satisfies some given constraints? and we focus on expressing constraints defining OWL 2 profiles and checking these constraints for OWL validation. We propose an approach based on the SPARQL Template Transformation language (STTL). An STTL template is a transformation rule that applies to a given RDF graph and the recursive call of a set of STTL templates on an RDF graph outputs some textual data resulting from the transformation of this graph. We show that STTL can be used as a constraint language for RDF and we use it to implement the semantics of OWL 2 profiles: each profile is represented by a set of STTL templates that a valid ontology must satisfy

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

National audienceDans 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