Sommaire

Raisonnement en monde ouvert Raisonnement

La fonction sync_reasoner() permet d’exécuter le raisonneur et d’appliquer automatiquement les faits déduits dans le quadstore. Par défaut, le raisonneur HermiT est utilisé. Les fonctions sync_reasoner_pellet() et sync_reasoner_hermit() permettent de spécifier le raisonneur sachant que Pellet et Hermit fonctionnent de la même manière dans Owlready. Pellet Hermit

Par exemple, dans l’ontologie des bactéries commençons par vérifier la classe à laquelle appartient l’individu bactérie_inconnue :

>>> onto.bactérie_inconnue.__class__  
bacterie.Bactérie

Nous exécutons ensuite le raisonneur :

>>> sync_reasoner()  
* Owlready2 * Running HermiT...  
   java [...]  
* Owlready2 * HermiT took 0.5354642868041992 seconds  
* Owlready * Reparenting bacterie.bactérie_inconnue [...]

Par défaut, Owlready affiche la ligne de commande du raisonneur et les reclassements effectués (le paramètre debug = 0 permet d’éviter cet affichage).

Nous constatons que l’individu bactérie_inconnue a bien été reclassé dans la classe Staphylocoque, comme il l’avait été dans Protégé :

>>> onto.bactérie_inconnue.__class__  
bacterie.Staphylocoque

Les faits déduits par le raisonneur sont par défaut stockés dans l’ontologie http://inferrences/. ...