描述逻辑FL0循环术语集的可满足性

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (14): 56-59.

描述逻辑FL0循环术语集的可满足性

汪天友1，曹发生2，3

1.贵阳学院数学系，贵阳 550005
2.毕节学院逻辑与文化研究中心数学系，贵州毕节 551700
3.中山大学逻辑与认知研究所，广州 510275

出版日期:2012-05-11 发布日期:2012-05-14

Satisfiability of terminological cycles in description logic FL0

WANG Tianyou1, CAO Fasheng2，3

1.Department of Math, Guiyang University, Guiyang 550005, China
2.Department of Math, Center for Logic, Language and Cognition, Bijie University, Bijie, Guizhou 551700, China
3.Institute of Logic and Cognition，Sun Yat-sen University，Guangzhou 510275，China

Online:2012-05-11 Published:2012-05-14

摘要/Abstract

摘要： 循环术语集是描述逻辑长期以来的研究难点，它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题，基于图的互模拟的方法，给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。

关键词: 描述逻辑, FL0, 互模拟

Abstract: Terminological cycles have been a difficult spot in the study of description logics for quite a few years. The basic problems, such as their semantics and reasoning mechanisms, have not been reasonably well settled. The current research progresses and the existing problems of terminological cycles in description logics are analyzed in this paper. Based on bisimulation of graphs, the satisfiability condition of description logic FL0, which may include terminological cycles is presented, is given. And it is also proved that the model of description logic FL0 can be reasoned in polynomial time.

Key words: description logic, FL0, bisimulation

汪天友1，曹发生2，3. 描述逻辑FL0循环术语集的可满足性[J]. 计算机工程与应用, 2012, 48(14): 56-59.

WANG Tianyou1, CAO Fasheng2，3. Satisfiability of terminological cycles in description logic FL0[J]. Computer Engineering and Applications, 2012, 48(14): 56-59.

[1]	刘华鹏1，刘胜全1，2，刘艳1，张华楠1，李鹏1. 基于语义的Web内容安全检测模型[J]. 计算机工程与应用, 2014, 50(14): 116-120.
[2]	张维1，余泉1，王驹2，蒋运承3，4. 描述逻辑系统[ELN]中概念的匹配算法研究[J]. 计算机工程与应用, 2013, 49(2): 48-52.
[3]	李海燕，李冠宇，韩国栓. 粗糙本体支持的知识推理框架[J]. 计算机工程与应用, 2013, 49(10): 40-44.
[4]	杨鹏1，2，孙波1. 改进的描述逻辑框架Rough-SHOIN[J]. 计算机工程与应用, 2012, 48(14): 23-26.
[5]	黎明1，徐德智2，余志强3. 一种扩展DL角色描述能力的方法[J]. 计算机工程与应用, 2012, 48(12): 116-119.
[6]	丁松，唐胜群，刘坤，张亮，秦学. 非一致OWL本体的推理方法研究[J]. 计算机工程与应用, 2011, 47(9): 21-24.
[7]	张雷，向宏，胡海波. 基于语义的RBAC模型权限冲突检测方法[J]. 计算机工程与应用, 2011, 47(26): 74-78.
[8]	曹发生¹，张维². 描述逻辑系统UEVN中概念的包含关系[J]. 计算机工程与应用, 2010, 46(30): 43-45.
[9]	覃俊明¹，耿继兵¹，王驹²，蒋运承^2，3. gfp-模型的描述逻辑FLε的循环术语集推理[J]. 计算机工程与应用, 2010, 46(12): 32-37.
[10]	牛悦¹,刘秋让²,方俊³. 描述逻辑中基于边界的模块提取方法[J]. 计算机工程与应用, 2009, 45(5): 36-38.
[11]	林培光¹,徐如志¹,余正涛². 基于本体和云理论的不确定知识表示[J]. 计算机工程与应用, 2008, 44(5): 51-54.
[12]	李明泉,冯志勇. F-SHIQ公理体系及其OWL扩展[J]. 计算机工程与应用, 2008, 44(30): 1-5.
[13]	丛晓青^1,2,曹存根1,眭跃飞¹. 带函数的描述逻辑[J]. 计算机工程与应用, 2008, 44(22): 46-50.
[14]	李英杰王莉余雪丽. 本体驱动的语义Web服务动态复合的研究[J]. 计算机工程与应用, 2007, 43(9期): 31-34.