Approach for expanding description logic for improving role description ability

Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (12): 116-119.

Previous Articles Next Articles

Approach for expanding description logic for improving role description ability

LI Ming1, XU Dezhi2, YU Zhiqiang3

1.College of Computer Science, Sichuan Normal University, Chengdu 610068, China
2.College of Information Science and Engineering, Central South University, Changsha 410083, China
3.Chengdu Aircraft Industrial（Group）Co., Ltd, Chengdu 610092, China

Online:2012-04-21 Published:2012-04-20

一种扩展DL角色描述能力的方法

黎明1，徐德智2，余志强3

1.四川师范大学计算机科学学院，成都 610068
2.中南大学信息科学与工程学院，长沙 410083
3.成都飞机工业（集团）有限责任公司，成都 610092

Abstract

Abstract: Description logic is the logical foundation of ontology to describe knowledge. There are many ways to describe concepts in current description logic, but roles can only be atom roles. The role description ability is limited. To solve this problem, this paper introduces role expression in current description logic SHIQ to describe roles, and proves that if all the role expressions of the knowledge base are safe role expressions, the complexity of the reasoning with KAON2 reasoner remains in ExpTime. From this point, an algorithm is brought forward to check whether the role expression is safe.

Key words: description logic, role expression, knowledge base

摘要： 本体描述知识的逻辑基础是描述逻辑（DL），虽然现有DL中对概念的描述方式非常丰富，但是角色却只能是原子角色。针对角色描述能力低的问题，在现有的DL SHIQ中增加了角色表达式来对角色进行描述，证明了如果知识库中所有角色表达式都是安全的，该知识库在现有的推理机KAON2上的推理仍然是ExpTime，提出了一种判断角色表达式是否安全的算法。

关键词: 描述逻辑, 角色表达式, 知识库

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.

黎明1，徐德智2，余志强3. 一种扩展DL角色描述能力的方法[J]. 计算机工程与应用, 2012, 48(12): 116-119.

[1]	DU Yufei, WU Baoguo, CHEN Dong. Study of Trees and Shrubs Recognition Inference Algorithm Based on Production Rules [J]. Computer Engineering and Applications, 2020, 56(5): 242-250.
[2]	WANG Lingyang, CHEN Qinkuang, SHOU Lidan, CHEN Ke. Reserch of Entity Matching Based on Multiple Heterogenous Data [J]. Computer Engineering and Applications, 2019, 55(19): 87-95.
[3]	LEI Yuxia, CHEN Juan, HAN Yonghua, WANG Xiangde. Analysis and revision of knowledge inconsistency in frames [J]. Computer Engineering and Applications, 2016, 52(22): 155-158.
[4]	YANG Long1，2, ZHANG Gongrang1，2, WANG Li1，2, WEI Yanyan1，2. Integration of multiple knowledge bases based on knowledge blocks [J]. Computer Engineering and Applications, 2014, 50(7): 129-132.
[5]	ZHAO Jiaojiao, ZHAO Shuliang, GUO Xiaobo, LIU Jundan. Visualization method of association rules based on natural language generation [J]. Computer Engineering and Applications, 2014, 50(23): 122-126.
[6]	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.
[7]	ZHANG Wei1, YU Quan1, WANG Ju2, JIANG Yuncheng3，4. Matching in description logic [ELN] [J]. Computer Engineering and Applications, 2013, 49(2): 48-52.
[8]	LI Haiyan, LI Guanyu, HAN Guoshuan. Rough ontology aided knowledge reasoning framework [J]. Computer Engineering and Applications, 2013, 49(10): 40-44.
[9]	YANG Peng1，2, SUN Bo1. Improved framework of description logics Rough-SHOIN [J]. Computer Engineering and Applications, 2012, 48(14): 23-26.
[10]	WANG Tianyou1, CAO Fasheng2，3. Satisfiability of terminological cycles in description logic FL0 [J]. Computer Engineering and Applications, 2012, 48(14): 56-59.
[11]	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.
[12]	ZHOU Yihui1，2，ZAN Hongying2，MU Lingling2. Rules of modality’s usages for multi-corpus [J]. Computer Engineering and Applications, 2011, 47(28): 135-138.
[13]	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.
[14]	SHI Yong-sheng，CAI Shu-yu，SONG Yun-xue. Study on non-redundant storage technology of dynamic knowledge in real-time diagnosis [J]. Computer Engineering and Applications, 2010, 46(9): 246-248.
[15]	XIE Ting-ting，LI Wei-hua. Design and implementation of special ETL pattern [J]. Computer Engineering and Applications, 2010, 46(35): 133-135.

Approach for expanding description logic for improving role description ability

一种扩展DL角色描述能力的方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics