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