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

doi:10.3778/j.issn.1002-8331.2010.30.013

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (30): 43-45.DOI: 10.3778/j.issn.1002-8331.2010.30.013

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

曹发生¹，张维²

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

收稿日期:2010-04-14 修回日期:2010-08-23 出版日期:2010-10-21 发布日期:2010-10-21
通讯作者: 曹发生

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

摘要/Abstract

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

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

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

中图分类号:

TP301

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

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

[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. 描述逻辑FL0循环术语集的可满足性[J]. 计算机工程与应用, 2012, 48(14): 56-59.
[6]	黎明1，徐德智2，余志强3. 一种扩展DL角色描述能力的方法[J]. 计算机工程与应用, 2012, 48(12): 116-119.
[7]	丁松，唐胜群，刘坤，张亮，秦学. 非一致OWL本体的推理方法研究[J]. 计算机工程与应用, 2011, 47(9): 21-24.
[8]	张雷，向宏，胡海波. 基于语义的RBAC模型权限冲突检测方法[J]. 计算机工程与应用, 2011, 47(26): 74-78.
[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.

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

Research on concept subsumption in description logic UEVN

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 14

编辑推荐

Metrics