Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Open-world assumption

Known as: Open world assumption, Open-world semantics, Owa 
In a formal system of logic used for knowledge representation, the open-world assumption is the assumption that the truth value of a statement may be… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Probabilistic databases (PDBs) introduce uncertainty into relational databases by specifying probabilities for several possible… Expand
  • figure 1
Is this relevant?
2018
2018
Data provenance approaches track how the answer to a database query derive from input items; however, prior approaches used… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering, and other… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Some queries cannot be answered by machines only. Processing such queries requires human input for providing information that is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
2011
2011
When conjunctively merging two belief functions concerning a single variable but coming from different sources, Dempster rule of… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by… Expand
  • table 2.24
  • table 1
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the… Expand
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with… Expand
  • figure 1
Is this relevant?
2000
2000
We present a sound and complete, tractable inference method for reasoning with localized closed world assumptions (LCWA's) which… Expand
Is this relevant?
Highly Cited
1977
Highly Cited
1977
  • R. Reiter
  • Logic and Data Bases
  • 1977
  • Corpus ID: 5653486
Deductive question-answering system generally evaluate queries under one of two possible assumptions which we in this paper refer… Expand
Is this relevant?