Research of Uncertain Reasoning Based on Description Logic and Horn Rule

摘要：

Description Logic is the logical basis of Semantic Web knowledge representation and reasoning,it has strong capacity of expression,but it is not applicable to uncertain knowledge representation and reasoning.Horn rule is a proper subset of first-order predicate logic,which can be determined,its implication expression makes the description closer to a natural description of the problem,but it can not fully express the abundant and hierarchical knowledge in application fields.Therefore the combination of Description Logic and Horn rule,and utilization of Resolution Principle for Constrained Logics,will effectively solve the problem of Uncertain Reasoning.For the subsistent uncertainty of fact and rules in the reasoning system,credibility can be expressed by the interval between 0 and 1,and Confidence Interval calculation for the querying results can be summarized as a process of solving homologous linear optimization equation.

关键词： Description Logic Horn rule Probabilistic Logic Uncertain Seasoning Resolution Principle

作者: Feng Yang Jingjuan Ren Hemin Jin

作者单位: College of Information Technology,Henan University of TCM Zhengzhou,Henan,450008,China Library,Henan University of TCM Zhengzhou,Henan,450008,China

会议类型: 国际会议

会议名称: 2011 International Conference on Computer and Network Engineering(ICCNE 2011)(2011年计算机与网络工程国际会议)

会议地点: 郑州

会议语种:英文

页码: 165-169

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