能处理分层信度知识的描述逻辑PB-SHOIN(D)

能处理分层信度知识的描述逻辑PB-SHOIN(D)

王淞昕

上海财经大学计算机科学与技术系, 上海 200433

收稿日期:2007-06-01 修回日期:1900-01-01 出版日期:2008-03-26 发布日期:2008-03-26
通讯作者: 王淞昕

PB-SHOIN(D): a Description Logic Dealing with Partially Believable Knowledge with Different Levels

WANG Songxin

Department of Computer Science and Technology, Shanghai University of Finance and Economics, Shanghai 200433, China

Received:2007-06-01 Revised:1900-01-01 Online:2008-03-26 Published:2008-03-26
Contact: WANG Songxin

摘要/Abstract

摘要： 对描述逻辑SHOIN(D)进行扩展, 提出一种能处理分层信度知识的描述逻辑PB-SHOIN(D), 给出了PB-SHOIN(D)的语法和语义, 并证明了PB-SHOIN(D)具有超协调性和非单调性, 为表示和处理语义Web中具有分层信度的知识提供了一种有效方法.

关键词: Web本体语言, 描述逻辑, 分层信度知识

Abstract: An extension of the description logic SHOIN(D), called PB-SHOIN(D), is proposed to deal with partially believable knowledge with different levels. We defined the syntax and semantic of PB-SHOIN(D), and then studied its properties. It is shown that PB-SHOIN(D) is both paraconsistent and nonmonotonic. PB-SHOIN(D) forms a formal underpinning for the extension of the OWL DL language to deal with partially believable knowledge in the semantic web.

Key words: web ontology language, description logic, partially believable knowledge

中图分类号:

TP301

王淞昕. 能处理分层信度知识的描述逻辑PB-SHOIN(D)[J]. J4, 2008, 46(02): 286-290.

WANG Songxin. PB-SHOIN(D): a Description Logic Dealing with Partially Believable Knowledge with Different Levels[J]. J4, 2008, 46(02): 286-290.

[1]	尚晋, 张睿, 吕帅, 刘磊. 基于依赖关系图模型的本体演化影响分析[J]. J4, 2012, 50(01): 89-94.
[2]	王淞昕. 基于描述逻辑的图像检索框架[J]. J4, 2010, 48(02): 265-269.
[3]	刘磊, 宋雅娟, 张银平. 一种基于描述逻辑的Web服务动态组合算法[J]. J4, 2008, 46(02): 259-264.
[4]	张银平, 刘磊. 描述逻辑的非标准推理及其应用[J]. J4, 2007, 45(05): 800-804.
[5]	于海波, 谢琦, 吕巍. 基于OWL的RBRBAC策略定义和推理[J]. J4, 2006, 44(05): 754-759.