Raisonnement en monde fermé ou en monde fermé local Monde fermé Monde fermé:local

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