Partial-closed world assumption