心内求法

摘要： Perez 等用分类法组织分析已有本体, 归纳出5 个基本的建模元语(Modeling Primitives)。这些元语分别为：类/概念(classes/concepts) ，关系(relations) ，公理(axioms) ，函数(functions) 和实例(instances) 。类是相似术语所表达的概念的集合体，可以指任何事物，如工作描述、功能、行为、策略和推理过程等等。关系代表了在领域中概念之间的交互作用。形式上定义为n 维笛卡儿乘积的子集： R ： C1 ×C2×⋯×Cn 。如：子类关系( subclass-of) 。基本的关系有4 种：part-o 阅读全文

摘要： 如上一篇计算机科学中ontology的定义中描述的，“ontology是对概念模型的明确的、形式化的、可共享的规范”。ontology表达的是一个概念体系，是针对概念模型的表示。通常概念模型中会包含很多概念，以及概念之间的关系。如果把代表这些概念用词来定义，则ontology可以表达为一个词表，包括词的涵义以及词与词之间的关系。这样一个体系可以作为大家理解问题的共同基础。按照ontology所表达的概念模型所在层次的不同，可以把ontology分为以下几类：元知识本体（meta ontology）：对知识的表示进行抽象，通用知识本体（common ontology）：从认识论出发，表达抽象的概 阅读全文