Difference between revisions of "Edu:Open-world Assumption"
From IAOA Wiki
(Created page with " == Open-world Assumption== === Definitions=== '''D1''' [ Arp et al., 2015 ] ** '''The assumption that we capture knowledge within a...") |
m (To add space between entries, had to add numbering manually; Modified format.) |
||
| Line 1: | Line 1: | ||
| − | == Open- | + | == Open-World Assumption == |
| + | :1. The assumption that we capture knowledge within an [[Edu:ontology|ontology]] or ontology-like resource in an ongoing [[Edu:process|process]] as we discover it, so that we can at no stage guarantee that we have discovered complete information — hence no conclusions should be drawn from the fact that a given assertion is not recorded in our system. ([ [[Edu:TermlistReferences#arpetal2015|Arp et al., 2015]] ]) | ||
| − | + | :2. 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 true irrespective of whether or not it is known to be true. It is the opposite of the closed-world assumption, which holds that any statement that is true is also known to be true. (https://en.wikipedia.org/wiki/Open-world_assumption) | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | 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 true irrespective of whether or not it is known to be true. It is the opposite of the closed-world assumption, which holds that any statement that is true is also known to be true. (https://en.wikipedia.org/wiki/Open-world_assumption) | ||
[[Category:Term|Term]] | [[Category:Term|Term]] | ||
Latest revision as of 22:21, 9 January 2020
Open-World Assumption
- 1. The assumption that we capture knowledge within an ontology or ontology-like resource in an ongoing process as we discover it, so that we can at no stage guarantee that we have discovered complete information — hence no conclusions should be drawn from the fact that a given assertion is not recorded in our system. ([ Arp et al., 2015 ])
- 2. 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 true irrespective of whether or not it is known to be true. It is the opposite of the closed-world assumption, which holds that any statement that is true is also known to be true. (https://en.wikipedia.org/wiki/Open-world_assumption)
