Difference between Logic Layer and Proof Layer

Logic Layer

提供一种方法来描述规则（application-specific）, 从而来增强本体语言的能力。

Proof Layer

实际的推理过程，一种证明。这种推理的每一步对用户来说都是可查的。

语义万维网的研究者普遍认为Proof 和Trust 将是下一代web 的重要概念。