Résumé | Ce document propose un langage, SWRL (Semantic Web Rule Language ou langage de règles du Web sémantique), basé sur une combinaison des sous langages OWL DL et OWL Lite du langage ontologique Web OWL, avec les sous langages Datalog RuleML unaire/binaire du langage Rule Markup Language. SWRL intègre une syntaxe abstraite de haut niveau pour les règles de Horn dans les sous langages OWL DL et OWL Lite de OWL. Un modèle sémantique théorique permettant d'établir la signification formelle des ontologies OWL, y compris des règles rédigées dans cette syntaxe abstraite, est présenté. Une syntaxe XML basée sur RuleML et la syntaxe de présentation de OWL XML, ainsi qu'une syntaxe RDF concrète basée sur la syntaxe d'échange de OWL RDF/XML sont également proposées, avec plusieurs exemples. |
---|