描述逻辑系统vL循环术语集的可满足性及推理机制  

作　　者：王驹[1] 蒋运承[1] 申宇铭[1] 

机构地区：[1]广西师范大学计算机科学与信息工程学院,桂林541004

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

基　　金：国家自然科学基金(批准号:60496320;60573010;60663001);广西自然科学基金(批准号:桂科自0447032);广西青年科学基金(批准号:0640030)资助项目

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

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]