Sommaire

Hypothèse du monde ouvert et hypothèse du monde clos

La plupart des langages informatiques et des bases de données fondent la conclusion d’une requête sur l’hypothèse du Monde closmonde clos (Closed World Assumption, CWA). Cette hypothèse présume que tout ce qui n’est pas déclaré explicitement est présumé faux. Le fait que le monde soit considéré comme étant clos simplifie la délimitation du domaine du discours et privilégie la conclusion fortement vraie en indiquant comme faux tout ce qui n’est pas explicitement vrai.

Il en va autrement des données du Web, dont la construction est fondée en fonction AAA slogandu AAA slogan : Anyone can say Anything about Any topic (« N’importe qui peut dire n’importe quoi sur n’importe quel sujet »). Ce slogan impose de considérer le domaine du discours selon l’hypothèse de monde ouvert. Dans l’hypothèse du Monde ouvertmonde ouvert (Open World Assumption, OWA), aucune présomption sur la valeur de vérité d’un énoncé ne peut être assurée à moins qu’elle soit explicitement déclarée. Ainsi, un énoncé qui n’est pas explicitement déclaré peut être vrai ou faux, sauf que cette valeur de vérité nous est inconnue. Il découle de cette hypothèse qu’on ne peut pas conclure ...