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-Bourai | 1 | 2 | 0.70 |
Aïcha Mokhtari | 2 | 46 | 11.97 |