Les raisonneurs OWL fonctionnent selon l’hypothèse du monde ouvert : tout ce qui n’est pas interdit est considéré comme possible (voir chapitre Les ontologies OWL, section Raisonnement automatique). Cependant, il est souvent souhaitable de limiter le raisonnement aux seuls faits connus, pour l’ensemble de l’ontologie ou pour certaines entités. Il s’agit alors d’un raisonnement en monde fermé, parfois aussi appelé négation par défaut (negation as failure), c’est-à-dire que tout ce qui n’est pas explicitement connu est considéré comme faux. Monde:ouvert Négation par défaut
La fonction close_world() permet de « fermer le monde » et de limiter le raisonnement aux faits présents dans l’ontologie, pour l’individu, la classe ou l’ontologie passé en argument. Cette fonction ajoute automatiquement les contraintes nécessaires, sous forme de constructeurs. On parle de raisonnement en monde fermé lorsque toute l’ontologie est fermée, et de raisonnement en monde fermé local lorsque seules certaines entités le sont.
Nous avions déjà rencontré un problème de monde ouvert ou fermé avec la classe Streptocoque au chapitre Les ontologies OWL (voir le point 2 à la fin de la section Raisonnement automatique) : une bactérie ...
Abonnement
tous les livres et vidéos ENI en illimité sans engagement
du livre imprimé ou du livre numérique