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