Règles SWRL `SWRL`

SWRL (Semantic Web Rule Language) est un langage qui permet d’intégrer des règles d’inférences dans les ontologies. Les règles peuvent être écrites dans l’éditeur Protégé ou bien en Python, à l’aide d’Owlready, et ensuite exécutées via les raisonneurs HermiT ou Pellet intégrés.

Dans l’ontologie des bactéries, l’exemple de règle suivant permet de classer comme étant des Staphylocoques toutes les bactéries Gram positives de forme ronde et regroupées en amas :

Bactérie(?b),  
gram_positif(?b, true),  
a_pour_forme(?b,?f), Ronde(?f)  
a_pour_regroupement(?b,?r), EnAmas(?r)  
-> Staphylocoque(?b)

1. La syntaxe SWRL

Une règle SWRL comprend une ou plusieurs conditions et une ou plusieurs conséquences, séparées par une flèche « -> » (caractères moins et plus grand que). Si la règle possède plusieurs conditions ou conséquences, elles sont séparées entre elles par une virgule « , » qui a le sens d’un « et » logique. Les éléments qui composent les conditions et les conséquences sont appelés atomes.

De plus, les règles SWRL utilisent des variables, dont les noms commencent par « ? », par exemple « ?x ». Ces variables peuvent représenter ...