J4
• 计算机科学 • Previous Articles Next Articles
WANG Songxin
Received:
Revised:
Online:
Published:
Contact:
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
CLC Number:
WANG Songxin. PB-SHOIN(D): a Description Logic Dealing with Partially Believable Knowledge with Different Levels[J].J4, 2008, 46(02): 286-290.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://xuebao.jlu.edu.cn/lxb/EN/
http://xuebao.jlu.edu.cn/lxb/EN/Y2008/V46/I02/286
Cited