Research on concept subsumption in description logic UEVN

doi:10.3778/j.issn.1002-8331.2010.30.013

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (30): 43-45.DOI: 10.3778/j.issn.1002-8331.2010.30.013

• 研究、探讨 • Previous Articles Next Articles

Research on concept subsumption in description logic UEVN

CAO Fa-sheng¹，ZHANG Wei²

1.Center of Logic，Language and Cognition，Department of Mathematics，Bijie University，Bijie，Guizhou 551700，China
2.Department of Mathematics，Qiannan Normal University for Nationalities，Duyun，Guizhou 558000，China

Received:2010-04-14 Revised:2010-08-23 Online:2010-10-21 Published:2010-10-21
Contact: CAO Fa-sheng

描述逻辑系统UEVN中概念的包含关系

曹发生¹，张维²

1.毕节学院数学系逻辑、语言与认知研究中心，贵州毕节 551700
2.黔南民族师范学院数学系，贵州都匀 558000

通讯作者: 曹发生

Abstract

Abstract: Nonstandard inference in description logic is a main issue that researchers are focusing on，it mainly includes the most specific concept，the least common subsumer，matching，rewriting and so on.Previous work mainly concerntrates on kinds of description logic systems which don’t contain number restriction.This paper analyzes the least common subsumer in description logic UEVN which contains union，existential restriction，value restriction and number restriction at the same time.Firstly，the UEVN-concept description tree and the homomorphisms on description trees are defined，then the subsumption relationship is characterized between concepts by computing the homomorphisms between their description trees.

Key words: description logic, nonstandard inference, concept description tree

摘要： 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题，它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统，该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理，它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系，给出了概念之间包含关系的充要条件。

关键词: 描述逻辑, 非标准推理, 概念描述树

CLC Number:

TP301

CAO Fa-sheng¹，ZHANG Wei². Research on concept subsumption in description logic UEVN[J]. Computer Engineering and Applications, 2010, 46(30): 43-45.

曹发生¹，张维². 描述逻辑系统UEVN中概念的包含关系[J]. 计算机工程与应用, 2010, 46(30): 43-45.

[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]	WANG Tianyou1, CAO Fasheng2，3. Satisfiability of terminological cycles in description logic FL0 [J]. Computer Engineering and Applications, 2012, 48(14): 56-59.
[6]	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.
[7]	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.
[8]	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.
[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.

Research on concept subsumption in description logic UEVN

描述逻辑系统UEVN中概念的包含关系

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 14

Recommended Articles

Metrics