本体中继承关系的形式化表示及其应用

作     者：赵波 冯洁 ZHAO Bo;FENG Jie

作者机构：云南师范大学计算机科学系云南昆明650092 北京理工大学国家颜色科学与工程实验室北京100081 

基　　金：云南省自然科学基金重点项目(2004F00062) 云南省教育厅自然科学基金重点项目(6Z0035D) 云南省重点实验室开放基金项目(2004K12) 省院省校合作基金项目(2004YX42) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2008年第29卷第1期

页      码：154-156页

摘      要：本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。

主 题 词：本体 继承关系 类 形式化 判定规则 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2008.01.070

馆 藏 号：203588054...