本体的形式化研究  

The research of formal ontology

作　　者：冉婕[1] 漆丽娟[1] 

机构地区：[1]云南昭通师范高等专科学校计算机科学系,云南昭通657000

出　　处：《微型机与应用》2012年第6期1-3,共3页Microcomputer & Its Applications

基　　金：云南省教育厅科学研究基金项目(2011C040)

摘　　要：知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种方法,本文给出了OWA(ontology-based Web annotation)、MaedcheA形式化定义、Guarino和KAON(Karlsruhe Ontology)4种典型形式化定义,并对其进行了对比分析。Ontology acts as ＂a formal specification of a shared conceptualization＂ and is applied to everywhere of information technology domain. There are several ways of ontology＇s represent. In this paper, we describe OWA （ontology-based Web annotation）, Maedche A, Guarino and KAON （Karlsruhe Ontology） four typical formal definitions, and give a comparative analysis.

关 键 词：本体 形式化 OWL 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]