本体继承关系体系结构的OWL实现及其不一致性检查的形式化表示研究

摘要：

继承(子类/父类)关系是本体中的重要关系之一.为了便于重用和推理,本体将子类/父类关系作了更加细致的语义细化,分为四种不同的子类/父类关系.为了研究了它们的OWL实现,本文首先用代数理论形式化定义了四种子类/父类关系.在此基础上,讨论了不同子类/父类关系的OWL实现.针对细化后继承关系中常见的不一致性,给出了其形式化判定规则.

关键词： 本体继承关系 体系结构 形式化判定 判定规则 语义细化 不一致性检查

作者: 赵波 解敏 夏幼明

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

会议类型: 国内会议

会议名称: 全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会

会议地点: 南京

会议语种:中文

页码: 416-419

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