作　　者： ; ; ;

机构地区： 广西师范大学计算机科学与信息工程学院

出　　处： 《中国科学（F辑:信息科学）》 2009年第2期205-211,共7页

摘　　要： 文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的.

关 键 词： 描述逻辑 循环术语集 描述图 模型

领　　域： [自动化与计算机技术] [自动化与计算机技术]