The closed-world hypothesis states that all logical formulas that are not logical consequences of the formulas that are written in a logic program are false.