Interval-based possibilistic description logics
Tingting Zou,Shuai Lü,Wei Wei,Lei Liu
2012-01-01
Journal of Information and Computational Science
Abstract:Description logics are a class of knowledge representation languages with high expressive power. Moreover, possibilistic logic is a direction of research for dealing with uncertainty information and reasoning for inconsistent knowledge bases. In fact, description logic based on possibilistic logic has been investigated in recent years. However, possibilistic description logic also cannot well model a great deal of real-world problems, because the accurate degrees associated with DL axioms are usually difficult to provide for experts. To address this problem, we further extend possibilistic description logics so that they can deal with inaccurate degrees associated with DL axioms. Therefore, we propose an interval-based possibilistic description logic IP-SHOIN(D). Firstly, we define the syntax and semantic of IP-SHOIN(D), and then we provide three reasoning problems. Finally, we prove that all reasoning problems for IP-SHOIN(D) can be reduced to compute the interval-based inconsistency degree. Therefore, IP-SHOIN(D) can well represent and reason on a great deal of real-word problems. © 2012 by Binary Information Press.