Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Closed-world_assumption> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Closed-world_assumption abstract "The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed-world assumption is the open-world assumption (OWA), stating that lack of knowledge does not imply falsity. Decisions on CWA vs. OWA determine the understanding of the actual semantics of a conceptual expression with the same notations of concepts. A successful formalization of natural language semantics usually cannot avoid an explicit revelation of whether the implicit logical backgrounds are based on CWA or OWA.Negation as failure is related to the closed-world assumption, as it amounts to believing false every predicate that cannot be proved to be true.".
- Closed-world_assumption wikiPageExternalLink 91.
- Closed-world_assumption wikiPageExternalLink the-closed-world-assumption-of-databases.html.
- Closed-world_assumption wikiPageExternalLink 100-E00187.htm.
- Closed-world_assumption wikiPageExternalLink BF00248321.
- Closed-world_assumption wikiPageExternalLink sub12.pdf.
- Closed-world_assumption wikiPageExternalLink 0004370285900554.
- Closed-world_assumption wikiPageExternalLink 0304397593900733.
- Closed-world_assumption wikiPageExternalLink S0022000005800042.
- Closed-world_assumption wikiPageExternalLink 978-0-306-40060-5.
- Closed-world_assumption wikiPageID "2526582".
- Closed-world_assumption wikiPageLength "9858".
- Closed-world_assumption wikiPageOutDegree "30".
- Closed-world_assumption wikiPageRevisionID "651094943".
- Closed-world_assumption wikiPageWikiLink Category:Knowledge_representation.
- Closed-world_assumption wikiPageWikiLink Category:Logic_programming.
- Closed-world_assumption wikiPageWikiLink Circumscription_(logic).
- Closed-world_assumption wikiPageWikiLink Co-NP.
- Closed-world_assumption wikiPageWikiLink Completeness_(knowledge_bases).
- Closed-world_assumption wikiPageWikiLink Consistency.
- Closed-world_assumption wikiPageWikiLink Database.
- Closed-world_assumption wikiPageWikiLink Default_logic.
- Closed-world_assumption wikiPageWikiLink Herbrand_structure.
- Closed-world_assumption wikiPageWikiLink Horn_clause.
- Closed-world_assumption wikiPageWikiLink Knowledge_management.
- Closed-world_assumption wikiPageWikiLink Knowledge_representation_and_reasoning.
- Closed-world_assumption wikiPageWikiLink Logic.
- Closed-world_assumption wikiPageWikiLink Logical_consequence.
- Closed-world_assumption wikiPageWikiLink Mathematical_logic.
- Closed-world_assumption wikiPageWikiLink Negation_as_failure.
- Closed-world_assumption wikiPageWikiLink Non-monotonic_logic.
- Closed-world_assumption wikiPageWikiLink Open-world_assumption.
- Closed-world_assumption wikiPageWikiLink Oracle_machine.
- Closed-world_assumption wikiPageWikiLink P_(complexity).
- Closed-world_assumption wikiPageWikiLink Polynomial_hierarchy.
- Closed-world_assumption wikiPageWikiLink Propositional_formula.
- Closed-world_assumption wikiPageWikiLink Raymond_Reiter.
- Closed-world_assumption wikiPageWikiLink Stable_model_semantics.
- Closed-world_assumption wikiPageWikiLink Unique_name_assumption.
- Closed-world_assumption wikiPageWikiLinkText "Closed-world assumption".
- Closed-world_assumption wikiPageWikiLinkText "closed domain of discourse".
- Closed-world_assumption wikiPageWikiLinkText "closed-world assumption".
- Closed-world_assumption wikiPageUsesTemplate Template:Cite_book.
- Closed-world_assumption wikiPageUsesTemplate Template:Cite_journal.
- Closed-world_assumption wikiPageUsesTemplate Template:More_footnotes.
- Closed-world_assumption wikiPageUsesTemplate Template:Reflist.
- Closed-world_assumption subject Category:Knowledge_representation.
- Closed-world_assumption subject Category:Logic_programming.
- Closed-world_assumption hypernym Presumption.
- Closed-world_assumption type Redirect.
- Closed-world_assumption comment "The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed-world assumption is the open-world assumption (OWA), stating that lack of knowledge does not imply falsity. Decisions on CWA vs.".
- Closed-world_assumption label "Closed-world assumption".
- Closed-world_assumption sameAs Q1102454.
- Closed-world_assumption sameAs Closed_world_assumption.
- Closed-world_assumption sameAs Hypothèse_du_monde_clos.
- Closed-world_assumption sameAs 閉世界仮説.
- Closed-world_assumption sameAs Aanname_van_een_gesloten_wereld.
- Closed-world_assumption sameAs m.07k_4n.
- Closed-world_assumption sameAs Предположение_о_замкнутости_мира.
- Closed-world_assumption sameAs Q1102454.
- Closed-world_assumption sameAs 封闭世界假定.
- Closed-world_assumption wasDerivedFrom Closed-world_assumption?oldid=651094943.
- Closed-world_assumption isPrimaryTopicOf Closed-world_assumption.