scholarly journals On the Local Closed-World Assumption of Data-Sources

2005 ◽  
pp. 145-157 ◽  
Author(s):  
Alvaro Cortés-Calabuig ◽  
Marc Denecker ◽  
Ofer Arieli ◽  
Bert Van Nuffelen ◽  
Maurice Bruynooghe
Keyword(s):  
Data Sources ◽  
Closed World Assumption ◽  
Closed World

Generalized Closed World Assumption is II02-Complete

1990 ◽  
Vol 34 (6) ◽  
pp. 289-291 ◽  
Author(s):  
Jan Chomicki ◽  
V.S. Subrahmanian
Keyword(s):  
Closed World Assumption ◽  
Closed World

Reasoning on the Semantic Web

2011 ◽  
pp. 110-133
Author(s):  
R. Brussee
Keyword(s):  
Real World ◽  
Description Logic ◽  
World Knowledge ◽  
Closed World Assumption ◽  
Sharp Distinction ◽  
Ontology Language ◽  
Closed World ◽  
Present Information ◽  
Logical Modeling ◽  
Case Reasoning

We describe reasoning as the process needed for using logic. Efficiently performing this process is a prerequisite for using logic to present information in a declarative way and to construct models of reality. In particular we describe description logic and the owl ontology language and explain that in this case reasoning amounts to graph completion operations that can be performed by a computer program. We give an extended example, modeling a building with wireless routers and explain how such a model can help in determining the location of resources. We emphasize how different assumptions on the way routers and buildings work are formalized and made explicit in our logical modeling, and explain the sharp distinction between knowing some facts and knowing all facts (open vs. closed world assumption). This should be helpful when using ontologies in applications needing incomplete real world knowledge.

A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering

2009 ◽  
Vol 1 (4) ◽  
pp. 90-110 ◽  
Author(s):  
Yucong Duan
Keyword(s):  
Theoretical Investigation ◽  
Context Sensitivity ◽  
Software Implementation ◽  
Model Driven Engineering ◽  
Closed World Assumption ◽  
Model Driven ◽  
Open World ◽  
Closed World ◽  
Open World Assumption ◽  
Measure Evaluation

Firstly this article presents a thorough discussion of semantics formalization related issues in model driven engineering (MDE). Then motivated for the purpose of software implementation, and attempts to overcome the shortcomings of incompleteness and context-sensitivity in the existing models, we propose to study formalization of semantics from a cognitive background. Issues under study cover the broad scope of overlap vs. incomplete vs. complete, closed world assumption (CWA) vs. open world assumption (OWA), Y(Yes)/N(No) vs. T(True)/F(False), subjective (SUBJ) vs. objective (OBJ), static vs. dynamic, unconsciousness vs. conscious, human vs. machine aspects, and so forth. A semantics formalization approach called EID-SCE (Existence Identification Dualism-Semantics Cosmos Explosion) is designed to meet both the theoretical investigation and implementation of the proposed formalization goals. EID-SCE supports the measure/evaluation in a {complete, no overlap} manner whether a given concept or feature is an improvement. Some elementary cases are also shown to demonstrate the feasibility of EID-SCE.

A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering

2012 ◽  
pp. 211-230
Author(s):  
Yucong Duan
Keyword(s):  
Theoretical Investigation ◽  
Context Sensitivity ◽  
Software Implementation ◽  
Model Driven Engineering ◽  
Closed World Assumption ◽  
Model Driven ◽  
Open World ◽  
Closed World ◽  
Open World Assumption ◽  
Measure Evaluation

Firstly this article presents a thorough discussion of semantics formalization related issues in model driven engineering (MDE). Then motivated for the purpose of software implementation, and attempts to overcome the shortcomings of incompleteness and context-sensitivity in the existing models, we propose to study formalization of semantics from a cognitive background. Issues under study cover the broad scope of overlap vs. incomplete vs. complete, closed world assumption (CWA) vs. open world assumption (OWA), Y(Yes)/N(No) vs. T(True)/F(False), subjective (SUBJ) vs. objective (OBJ), static vs. dynamic, unconsciousness vs. conscious, human vs. machine aspects, and so forth. A semantics formalization approach called EID-SCE (Existence Identification Dualism-Semantics Cosmos Explosion) is designed to meet both the theoretical investigation and implementation of the proposed formalization goals. EID-SCE supports the measure/evaluation in a {complete, no overlap} manner whether a given concept or feature is an improvement. Some elementary cases are also shown to demonstrate the feasibility of EID-SCE.

Saturation, nonmonotonic reasoning and the closed-world assumption

1985 ◽  
Vol 25 (1) ◽  
pp. 13-63 ◽  
Author(s):  
Genevieve Bossu ◽  
Pierre Siegel
Keyword(s):  
Nonmonotonic Reasoning ◽  
Closed World Assumption ◽  
Closed World

The indefinite closed world assumption

1994 ◽  
Vol 12 (3) ◽  
pp. 297-311 ◽  
Author(s):  
Q. Kong ◽  
M.H. Williams ◽  
G. Chen
Keyword(s):  
Closed World Assumption ◽  
Closed World
Sign in / Sign up

Export Citation Format

Share Document