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
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
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
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
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
Review
2006
Review
2006
  • R. Rosati
  • Reasoning Web
  • 2006
  • Corpus ID: 11234547
We present some recent results on the definition of logic-based systems integrating ontologies and rules. In particular, we take… Expand
  • figure 2
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
2000
2000
We present a sound and complete, tractable inference method for reasoning with localized closed world assumptions (LCWA's) which… Expand
1999
1999
This paper offers an approach to extensible knowledge representation and reasoning for the Description Logic family of formalisms… Expand
  • table 2
  • table 3
  • table 4
  • table 5
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