Satisfiability of terminological cycles in description logic FL0

Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (14): 56-59.

Previous Articles Next Articles

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

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

汪天友1，曹发生2，3

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

Abstract

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

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

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

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

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

[1]	LIU Huapeng1, LIU Shengquan1，2, LIU Yan1, ZHANG Huanan1, LI Peng1. Security detection model of Web content based semantic [J]. Computer Engineering and Applications, 2014, 50(14): 116-120.
[2]	ZHANG Wei1, YU Quan1, WANG Ju2, JIANG Yuncheng3，4. Matching in description logic [ELN] [J]. Computer Engineering and Applications, 2013, 49(2): 48-52.
[3]	LI Haiyan, LI Guanyu, HAN Guoshuan. Rough ontology aided knowledge reasoning framework [J]. Computer Engineering and Applications, 2013, 49(10): 40-44.
[4]	YANG Peng1，2, SUN Bo1. Improved framework of description logics Rough-SHOIN [J]. Computer Engineering and Applications, 2012, 48(14): 23-26.
[5]	LI Ming1, XU Dezhi2, YU Zhiqiang3. Approach for expanding description logic for improving role description ability [J]. Computer Engineering and Applications, 2012, 48(12): 116-119.
[6]	DING Song，TANG Shengqun，LIU Kun，ZHANG Liang，QIN Xue. Research about reasoning approach on OWL ontology with inconsistency [J]. Computer Engineering and Applications, 2011, 47(9): 21-24.
[7]	ZHANG Lei，XIANG Hong，HU Haibo. Detecting conflict of permissions in RBAC model with semantic approach [J]. Computer Engineering and Applications, 2011, 47(26): 74-78.
[8]	CAO Fa-sheng¹，ZHANG Wei². Research on concept subsumption in description logic UEVN [J]. Computer Engineering and Applications, 2010, 46(30): 43-45.
[9]	QIN Jun-ming¹，GENG Ji-bing¹，WANG Ju²，JIANG Yun-cheng^2，3. gfp-model-based reasoning of terminological cycles in description logic FLε [J]. Computer Engineering and Applications, 2010, 46(12): 32-37.
[10]	NIU Yue¹,LIU Qiu-rang²,FANG Jun³. Boundary-based module extraction in description logics [J]. Computer Engineering and Applications, 2009, 45(5): 36-38.
[11]	LIN Pei-guang₁,XU Ru-zhi¹,YU Zheng-tao². Indifinite knowledge representation based on ontology and cloud theory [J]. Computer Engineering and Applications, 2008, 44(5): 51-54.
[12]	LI Ming-quan,FENG Zhi-yong. F-SHIQ axiom system and extension of OWL [J]. Computer Engineering and Applications, 2008, 44(30): 1-5.
[13]	CONG Xiao-qing^1,2,CAO Cun-gen¹,SUI Yue-fei¹. Description logics with functions [J]. Computer Engineering and Applications, 2008, 44(22): 46-50.
[14]	Yingjie Li . Research on Ontology-driven Semantic Web Services Dynamic Composition [J]. Computer Engineering and Applications, 2007, 43(9期): 31-34.

Satisfiability of terminological cycles in description logic FL0

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 14

Recommended Articles

Metrics