π-SROIQ(D): Possibilistic description logic for uncertain geographic information

Abstract

The central question addressed in this paper is to determine how to represent uncertain knowledges present in many applications in geographic domain. The resulting proposition is a possibilistic extension of the very expressive Description Logic SROIQ(D), the underlying logic of the OWL2, called π-SROIQ(D). It is a solution for handling uncertainty and for dealing with inconsistency in geographic applications. Both syntax and semantics of the proposed description logic are considered. In addition we provide a tableau algorithm for reasoning with the possibilistic DL π-SROIQ(D).