A Fuzzy Knowledge Representation Approach with Description Logic and Logic Program

摘要：

This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D) +Datalog and discusses the common reasoning problems in fuzzy description logic programming and finally proposes an inequation/equation set approach to solve the reasoning problems.

关键词： description logic programing knowledge representaion SROIQ(D) OWL2-DL reasoning fuzzy set equation inequation

作者: Song Ding Sheng-Qun Tang Liang Zhang Kun Liu Xue Qin

作者单位: State Key Laboratory of Software Engineering Wuhan University

会议类型: 国际会议

会议名称: 2010 Third International Symposium on Intelligent Ubiquitous and Education(2010年第三届智能普适计算与教育国际研讨会 IUCE 2010)

会议地点: 北京

会议语种:英文

页码: 417-420

在线出版日期: 2010-09-18（万方平台首次上网日期，不代表论文的发表时间）