Open World Assumption

See Description Logic. We can infere more knowledge from a small set of logic. Compare to Closed World Assumption.