noctua-models：这是使用Noctua工具堆栈（用于GO）创建和编辑的模型的数据存储库-源码

推论模型 这是使用Noctua for GO创建和编辑的模型的数据存储库。 有关Noctua工具的详细信息，请参见 。 模型以OWL的形式存储在目录中。 这些模型可以使用进行计算使用，也可以在Protege中进行调试。 OWL建模 Noctua模型的本机形式是OWL。 Noctua模型由ABox公理（即关于个人的公理）组成-与传统本体TBox公理（即类公理）形成对比。 当我们谈论带有实例化GO分子功能类的成员的ABox（即活动流程图）时，我们使用术语“ LEGO模型”。 更一般地说，当我们对所使用的本体只有极少的假设时，就是“ Noctua模型”。 有关规格，请参见： 简要说明如下 通用建模范例（非正式） Noctua模型是使用一个或多个本体进行分类的个人集合，并使用来自诸如关系互连为三元。 这些通常会在Noctua显示屏中压缩为“注释”。 例如，考虑一个带有单个“注释”的简单