Die Open World Assumption ist eine Vereinbarung über Aussagen, die aus einer Menge von Fakten anhand von Inferenzregeln nicht hergeleitet werden können. Die Open World Assumption legt fest, dass nicht beweisbare Aussagen weder wahr noch falsch sind. Eine andere Festlegung wird von der Closed World Assumption getroffen.