本体的形式化研究

知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种方法,本文给出了OWA(ontology-based Web annotation) 、Maedche A形式化定义、Guarino和KAON(Karlsruhe Ontology)4种典型形式化定义,并对其进行了对比分析。