ある論理式が閉世界仮説の下で別の論理式に含まれているかどうかを確かめることの複雑性は、通常は論理式の多項式階層の第二レベルであり、ホーン節についてはPとcoNPの間にある。
查询答复的复杂性（在封闭世界假定下检查一个公式是否被另一个公式所蕴涵）对于一般公式集典型的是在多项式层次中第二级中的，并且对于Horn公式范围是从P到coNP。