循环ALCN-Tbox的模型构造

摘要：

从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有┑、(∩)、(∪)出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法.

关键词：描述逻辑、循环的ALCN-Tbox、模型

所属期刊栏目：26

分类号：O141.4(数理逻辑、数学基础)

资助基金：国家自然科学基金60573010;60663001;广西自然科学基金0447032;广西青年科学基金0640030

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

页数：共4页

页码：34-37