Semantic Web Rule Language


Semantic Web Rule Language

SWRL (Semantic Web Rule Language) est un langage de règles pour le web sémantique, combinant le langage OWL-DL et le langage RuleML (Rule Markup Language (Unary/Binary Datalog)).

En comparaison avec DLP (Description Logic Programs), une autre proposition relativement récente de la communauté web sémantique, permettant d'intégrer des règles et OWL, SWRL prend une approche d'intégration diamétralement opposée. DLP est l'intersection de la logique de Horn et d'OWL, tandis que SWRL est (approximativement) l'union des deux. Pour DLP, le langage résultant est une logique descriptive d'une forme inhabituelle et peu expressive. Au contraire, SWRL garde la puissance d'OWL DL, mais au prix de la décidabilité et des implémentations concrètes[1].

Sommaire

Définition

Les axiomes du langage OWL-DL sont étendus à l’aide des clauses de Horn réduites au prédicats unaires et binaires.

    a(x, y) \land b(y, z) \land c(x) \land  \ldots   \rightarrow    n(x, z)  

     a, b, n: prédicats binaires (rôles)
     c: prédicat unaire (concept atomique)
     x, y: x variables, instances ou littéraux (nombres, chaînes de caractères, etc.)

Ce langage est indécidable. L'indécidabilité est causée par l’interaction entre certaines caractéristiques de OWL-DL et de RuleML[2]. Les règles SWRL sont appliquées même si les individus ne sont pas présents dans la base.

SWRL DL-safe rules

Une restriction de SWRL, appelée DL-safe rules, a été conçue pour conserver la décidabilité[2]. Cette restriction ne porte pas sur les composants du langage, mais sur leur interaction. Les règles écrites ne peuvent porter que sur des individus explicitement présents dans la base. Autrement dit, les règles ne peuvent s’appliquer que si l’identité de toutes les instances présentes est connue.

Moteurs d'inférences

De nombreux moteurs d’inférences commencent à supporter SWRL : Bossam, Hoolet, KAON2, Pellet, RacerPro, R2ML (REWERSE Rule Markup Language) et Sesame. Ils suivent trois types d’approche :

  1. Traduire SWRL en logique du premier ordre (Hoolet) ;
  2. Traduire OWL-DL en règles et appliquer un algorithme de chaînage avant (Bossam) ;
  3. Intégrer les règles SWRL dans le moteur d’inférences OWL-DL fondé sur les algorithmes des tableaux sémantiques (Pellet).

Malheureusement, peu d’implémentations pratiques ont – jusqu’ici – été réalisées avec le langage SWRL. Toutefois, Kolovski et al.[3] présentent les premiers résultats de leurs tests et indiquent notamment le temps de calcul (en millisecondes) nécessaire à la vérification de la consistance d’une base de connaissances composée de quarante-six concepts et trente rôles. Le nombre de règles et d’instances présentes dans la base est variable. La première règle introduite implique deux variables, alors que la deuxième en implique trois.

Taille de l'ontologie Consistance Pellet KAON2
1 règle, 17 instances Oui 0,1 0,66
1 règle, 94 instances Oui 0,25 0,62
1 règle, 94 instances Non 0,38 0,65
2 règles, 17 instances Oui 0,42 0,70
2 règles, 94 instances Oui 1,23 5,75
2 règles, 94 instances Non 0,95 6,61

Ces temps de calcul importants nécessitent de ne mettre en place ce langage que sur des ontologies de petites et moyennes tailles.

Voir aussi

Liens externes

SWRL au W3C

Références

  1. Bijan Parsia et al., Cautiously Approaching SWRL [1]
  2. a et b B. Motik, U. Sattler, and Studer R. Query Answering for OWL-DL with Rules. Journal of Web Semantics : Science, Services and Agents on the World Wide Web, pages 41–60, 2005.
  3. V. Kolovski, B. Parsia, and E. Sirin. Extending SHOIQ(D) with DL-safe rules : First results. 256, 2006.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Semantic Web Rule Language de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Semantic Web Rule Language — SWRL (Semantic Web Rule Language) is a proposal for a Semantic Web rules language, combining sublanguages of the OWL Web Ontology Language (OWL DL and Lite) with those of the Rule Markup Language (Unary/Binary Datalog).The specification was… …   Wikipedia

  • Web Rule Language — The Web Rule Language (WRL) is a rule based ontology language for the Semantic Web. See also * OWL * RDF * XMLExternal links* [http://www.w3.org/Submission/WRL/ Web Rule Language (WRL) W3C Member Submission 09 September 2005] …   Wikipedia

  • Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A …   Wikipedia

  • Web Ontology Language — Информация в этой статье или некоторых её разделах устарела. Вы можете помочь проекту, обновив её и убрав после этого данный шаб …   Википедия

  • Web Ontology Language — Pour les articles homonymes, voir OWL. Web Ontology Language (OWL) est un langage de représentation des connaissances construit sur le modèle de données de RDF. Il fournit les moyens pour définir des ontologies web structurées. Le langage OWL est …   Wikipédia en Français

  • Semantic Web — The Semantic Web is an evolving extension of the World Wide Web in which the semantics of information and services on the web is defined, making it possible for the web to understand and satisfy the requests of people and machines to use the web… …   Wikipedia

  • Semantic Sensor Web — Sensors are distributed across the globe leading to an avalanche of data about our environment. The rapid development and deployment of sensor technology involves many different types of sensors, both remote and in situ, with such diverse… …   Wikipedia

  • Semantic wiki — A semantic wiki is a wiki that has an underlying model of the knowledge described in its pages. Regular, or syntactic, wikis have structured text and untyped hyperlinks. Semantic wikis, on the other hand, provide the ability to capture or… …   Wikipedia

  • Rule Interchange Format — Le Rule Interchange Format (RIF ) est une recommandation du W3C. RIF fait partie de la feuille de route du web sémantique, avec principalement SPARQL, RDF et OWL. Bien que prévu initialement par beaucoup comme une couche de règles logiques pour… …   Wikipédia en Français

  • Semantic Grid — The Semantic Grid refers to an approach to Grid computing in which information, computing resources and services are described using the semantic data model. In this model the data and metadata are expressed through facts (small sentences).… …   Wikipedia