b'\n_START_ARTICLE_\nIpotesi del mondo aperto\n_START_PARAGRAPH_\nIn un sistema logico formale utilizzato per la rappresentazione della conoscenza, l\'ipotesi del mondo aperto (nota anche in inglese come open-world assumption, o OWA) \xc3\xa8 l\'ipotesi secondo cui il valore di verit\xc3\xa0 di una dichiarazione pu\xc3\xb2 essere positivo indipendentemente dal fatto che la dichiarazione sia un fatto conosciuto essere vero. \xc3\x88 l\'opposta dell\'ipotesi del mondo chiuso (CWA), in cui ogni dichiarazione \xc3\xa8 vera solo se \xc3\xa8 nota essere tale._NEWLINE_Ad esempio, data una base di conoscenza consistente nell\'unica informazione "Il cane \xc3\xa8 un animale", alla domanda "Il gatto \xc3\xa8 un animale?" un sistema CWA risponderebbe "No", mentre un sistema OWA risponderebbe "Non so"._NEWLINE_Ci si basa su tale ipotesi quando si ha a che fare con knowledge base di cui non si garantisce la completezza. La logica adottata \xc3\xa8 monotona ed \xc3\xa8 prevista l\'esistenza di pi\xc3\xb9 modelli che soddisfano gli assiomi dati, talvolta risultando poco intuitiva.\n_START_SECTION_\nUtilizzo nei linguaggi\n_START_PARAGRAPH_\nL\'ipotesi del mondo aperto \xc3\xa8 tipica dei linguaggi per il Web semantico, come OWL; al contrario, in generale la CWA \xc3\xa8 tipica dei modelli relazionali. Esistono, tuttavia, delle eccezioni. Ad esempio SQL, linguaggio relazionale, prevede l\'utilizzo del marcatore NULL, tollerando una sorta di incompletezza del database; oppure alcuni linguaggi di ontologie, come F-logic o Prolog, adottano la negation as failure, implicando l\'adozione dell\'ipotesi del mondo chiuso.'