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.