基于本体的知识库管理模型中的错误检查研究

摘要：

在知识库中,存储了概念和概念之间的关系,其中,最重要的关系是概念间的子类/父类关系和聚集关系,本文研究了这两种关系的特点和性质,并用形式化的方式给出了严格的表示,在此基础上,提出了一序列相关知识中常见错误的形式判定规则.

关键词： 子类父类关系 聚集关系 形式判定规则

作者: 赵波 解敏 夏幼明

作者单位: 云南师范大学计算机科学系,云南,昆明,650092

会议类型: 国内会议

会议名称: 2006年全国第十届企业信息化与工业工程学术年会

会议地点: 杭州

会议语种:中文

页码: 385-389

在线出版日期: 2006-11-01（万方平台首次上网日期，不代表论文的发表时间）