框架表示法到扩展描述逻辑ALC+的转换初探

摘要：

本文首先介绍了描述逻辑ALC+，描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展，并给出了ALC+的语法和语义。然后探讨了框架表示的知识库到描述逻辑ALC+表示的知识库的转换，给出了框架表示的知识库到描述逻辑ALC+表示的知识库的转换的思想。最后给出了框架表示的知识库到描述逻辑ALC+表示的知识库的转换示例。

关键词： 描述逻辑 框架表示法 知识库 转换示例

作者: 文斌 甘健侯 夏幼明 徐天伟

作者单位: 云南师范大学计算机科学与信息技术学院,云南 昆明 650092

会议类型: 国内会议

会议名称: 第十三届全国青年通信学术会议

会议地点: 山东烟台

会议语种:中文

页码: 107-110

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