Title
\pi -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 (mathcal {SROIQ(D)}), the underlying logic of the OWL2, called (pi )-(mathcal {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 (pi )-(mathcal {SROIQ(D)}).
Year
Venue
Field
2016
IEA/AIE
Discrete mathematics,Data mining,Proposition,Computer science,Description logic,Possibilistic logic,Syntax,Semantics,Web Ontology Language
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
11
2
Name
Order
Citations
PageRank
Safia Bal-Bourai120.70
Aïcha Mokhtari24611.97