Hypothèse du monde ouvert
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
openworld assumption
(OWA) in a theorem prover, logic programming language, or database system, the convention that if a question cannot be proved to be false, it may be assumed to be true . cf. close world assumption.
Contributeurs: Imane Meziani, wiki, Sihem Kouache