推论模型 这是使用Noctua for GO创建和编辑的模型的数据存储库。 有关Noctua工具的详细信息,请参见 。 模型以OWL的形式存储在目录中。 这些模型可以使用进行计算使用,也可以在Protege中进行调试。 OWL建模 Noctua模型的本机形式是OWL。 Noctua模型由ABox公理(即关于个人的公理)组成-与传统本体TBox公理(即类公理)形成对比。 当我们谈论带有实例化GO分子功能类的成员的ABox(即活动流程图)时,我们使用术语“ LEGO模型”。 更一般地说,当我们对所使用的本体只有极少的假设时,就是“ Noctua模型”。 有关规格,请参见: 简要说明如下 通