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...

Pour consulter la suite, découvrez le livre suivant :
couv_EPPYTONT.png
60-signet.svg
En version papier
20-ecran_lettre.svg
En version numérique
41-logo_abonnement.svg
En illimité avec l'abonnement ENI
130-boutique.svg
Sur la boutique officielle ENI
Précédent
Disjonctions
Suivant
Raisonnement en monde fermé ou en monde fermé local