互逆主义描述逻辑与二层本体

摘要：

经典描述逻辑基于一阶谓词演算,用于本体描述语言,存在表达力与计算复杂性这一对矛盾。基于互逆主义逻辑,本文提出互逆主义描述逻辑。它取消了量词,增加了二层假言推理，较好地解决了表达力与可解性的矛盾。此前的本体都是一层本体。本文提出二层本体。

关键词： 互逆主义逻辑 描述逻辑 二层本体

作者: 周训伟

作者单位: 北京联合大学信息技术研究所 北京 100101

会议类型: 国内会议

会议名称: 中国计算机用户协会网络应用分会2007年网络技术与应用年会

会议地点: 天津

会议语种:中文

页码: 38-40,68

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