|
|||||
|
|
| 描述逻辑系统vL循环术语集的可满足性及推理机制 | |
| 引用本文： | 王驹,蒋运承,申宇铭.描述逻辑系统vL循环术语集的可满足性及推理机制[J].中国科学F辑:信息科学,2009(2):205-211. |
| 作者姓名： | 王驹 蒋运承 申宇铭 |
| 作者单位： | 广西师范大学计算机科学与信息工程学院 |
| 基金项目： | 国家自然科学基金(批准号:60496320,60573010,60663001);广西自然科学基金(批准号:桂科自0447032);广西青年科学基金(批准号:0640030)资助项目 |
| 摘 要： | 文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的. |
| 关 键 词： | 描述逻辑 循环术语集 描述图 模型 |
| 本文献已被 维普 等数据库收录！ | |