期刊文献+

本体的形式化研究 被引量:1

The research of formal ontology
在线阅读 下载PDF
导出
摘要 知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种方法,本文给出了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.
作者 冉婕 漆丽娟
出处 《微型机与应用》 2012年第6期1-3,共3页 Microcomputer & Its Applications
基金 云南省教育厅科学研究基金项目(2011C040)
关键词 本体 形式化 OWL ontology formal OWL
  • 相关文献

参考文献11

二级参考文献69

共引文献33

同被引文献10

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部