Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Closed-world assumptionDatabaseDatabase transactionFirst-order logic

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates
In ontology-mediated queries (OMQs), a database query is enriched with an ontology, providing knowledge to obtain more complete… 
2015
2015
A novel approach to generate MCQs from domain ontology
2014
2014
Bootstrapping Wikipedia to answer ambiguous person name queries
Some of the main ranking features of today's search engines reflect result popularity and are based on ranking models, such as… 
2014
2014
Inference and Linking on the Humanist’s Semantic Web
The Semantic Web promises that the pools of semantic data it interweaves together will enable people to find information that… 
2011
2011
ENERGY EFFICIENCY ALONG THE BUILDING LIFE-CYCLE: A CONCEPTUAL MODEL FOR KNOWLEDGE AND INFORMATION EXCHANGE AMONG AEC PROFESSIONALS
Building Life-Cycle Assessment (LCA) promotes principles of careful treatment of the environment, preservation of the natural… 
2011
2011
Abductive Reasoning for Continual Dialogue Understanding
  • M. Janícek
  • ESSLLI Student Sessions
  • 2011
  • Corpus ID: 18054151
In this paper we present a continual context-sensitive abductive framework for understanding situated spoken natural dialogue… 
2010
2010
A Good Role Model for Ontologies: Collaborations
Although ontologies are gaining more and more acceptance, they are often not engineered in a componentbased manner due to, among… 
2009
2009
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful… 
1998
1998
A distributed consistent global checkpoint algorithm with a minimum number of checkpoints
  • Yoshifumi Manabe
  • Proceedings Twelfth International Conference on…
  • 1998
  • Corpus ID: 17859146
A distributed coordinated checkpointing algorithm is shown. A consistent global checkpoint is a set of states in which no message… 
1983
1983
Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers
The language Prolog owes much of its increasing popularity to the fact that one can use it to write knowledge based systems in a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)