About: Open-world assumption

Property	Value
dbo:description	ipotesi secondo cui ogni affermazione la cui verità non è nota è considerata falsa (it) 真であると知られていないすべての文を偽とみなす形式論理の仮定 (ja) formal-logic assumption that any statement that is not known to be true is false (en) formallogische Annahme, dass jede Aussage, von der nicht bekannt ist, dass sie wahr ist, als unwahr angesehen wird (de)
dbo:wikiPageExternalLink	https://web.archive.org/web/20090624113015/http:/www.betaversion.org/~stefano/linotype/news/91/ https://web.archive.org/web/20101110000603/http:/books.hammerpig.com/the-closed-world-assumption-of-databases.html https://web.archive.org/web/20141129131338/http:/owl1-1.googlecode.com/svn-history/r374/trunk/www.webont.org/owled/2005/sub12.pdf
dbo:wikiPageWikiLink	dbr:Oracle_machine dbc:Logic_programming dbr:Logical_consequence dbr:Non-monotonic_logic dbr:Polynomial_hierarchy dbr:Negation_as_failure dbr:Horn_clause dbr:Logic dbr:Default_logic dbr:Database dbr:Formal_logic dbc:Knowledge_representation dbr:Knowledge_management dbr:Mathematical_logic dbr:Unique_name_assumption dbr:P_(complexity) dbr:Raymond_Reiter dbr:Stable_model_semantics dbr:Circumscription_(logic) dbr:Knowledge_representation dbr:Open-world_assumption dbr:Consistent dbr:Herbrand_model dbr:CoNP dbr:Complete_knowledge_base dbr:Partial-closed_world_assumption
dbp:wikiPageUsesTemplate	dbt:R_from_antonym dbt:Reflist dbt:R_from_merge dbt:Short_description
dct:subject	dbc:Logic_programming dbc:Knowledge_representation dbc:Database_theory
gold:hypernym	dbr:Presumption
rdfs:label	Open-world assumption (en) Closed-world assumption (en) Closed world assumption (de) Ipotesi del mondo chiuso (it) 閉世界仮説 (ja) Hypothèse du monde clos (fr) Aanname van een gesloten wereld (nl) Предположение о замкнутости мира (ru) 封闭世界假定 (zh)
owl:sameAs	freebase:Open-world assumption wikidata:Open-world assumption dbpedia-it:Open-world assumption dbpedia-nl:Open-world assumption dbpedia-de:Open-world assumption dbpedia-fr:Open-world assumption dbpedia-zh:Open-world assumption dbpedia-ja:Open-world assumption dbpedia-ru:Open-world assumption dbpedia-global:Open-world assumption
prov:wasDerivedFrom	wikipedia-en:Open-world_assumption?oldid=1236840222&ns=0 wikipedia-en:Closed-world_assumption?oldid=1290624109&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Open-world_assumption wikipedia-en:Closed-world_assumption
is dbo:wikiPageDisambiguates of	dbr:Assumption dbr:CWA
is dbo:wikiPageRedirects of	dbr:Open-world_assumption dbr:Extended_Closed_World_Assumption dbr:Extended_Generalized_Closed_World_Assumption dbr:Generalized_Closed_World_Assumption dbr:Closed_World_Assumption dbr:Closed_World_assumption dbr:Closed_world_assumption dbr:Careful_Closed_World_Assumption
is dbo:wikiPageWikiLink of	dbr:Relation_(database) dbr:Object_(computer_science) dbr:Natural_language_processing dbr:Description_logic dbr:Planner_(programming_language) dbr:Default_logic dbr:Symbolic_artificial_intelligence dbr:Probabilistic_soft_logic dbr:Assumption dbr:CWA dbr:Argumentation_scheme dbr:Unique_name_assumption dbr:Action_description_language dbr:Null_(SQL) dbr:Circumscription_(logic) dbr:Imieliński–Lipski_algebra dbr:Knowledge_processing_for_robots dbr:Flix_(programming_language) dbr:Outline_of_natural_language_processing dbr:Open-world_assumption dbr:Extended_Closed_World_Assumption dbr:Extended_Generalized_Closed_World_Assumption dbr:Generalized_Closed_World_Assumption dbr:Closed_World_Assumption dbr:Closed_World_assumption dbr:Closed_world_assumption dbr:Careful_Closed_World_Assumption
is foaf:primaryTopic of	wikipedia-en:Open-world_assumption wikipedia-en:Closed-world_assumption