ISSUE-194: SDW BP Glossary: OWA

ChrisLittle

SDW BP Glossary: OWA

State:
PENDING REVIEW
Product:
best practices
Raised by:
Chris Little
Opened on:
2017-05-04
Description:
the entry is
"Open-world assumption (OWA): In a formal system of logic used for knowledge representation, the open-world assumption asserts that the truth value of a statement may be true irrespective of whether or not it is known to be true. This assumption codifies the informal notion that in general no single agent or observer has complete knowledge. In essence, from the absence of a statement alone, a deductive reasoner cannot (and must not) infer that the statement is false. wikipedia "

I cannot find another online definition that seems persistent (university lecturers' slides are not persistent enough!)

I propose we leave the Wikipedia reference.

I suggest adding an amplifying sentence for simple people like me:

"That is, a valid response to a logical query may be: true, false or unknown."

Related Actions Items:
No related actions
Related emails:
No related emails

Related notes:

No additional notes.

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 194.html,v 1.1 2018/10/09 10:08:02 carine Exp $