Description Logic - Wikipedia, The Free Encyclopedia / quote 1 of 3
The open world assumption
[referring to Description Logic] Not having CWA, or rather having the Open World Assumption (OWA) means that lack of knowledge of a fact does not immediately imply knowledge of the negation of a fact.