Poss SROIQ(D) pour une ontologie géographique sous incertitude


L'utilisation du formalisme de la logique de description (DL) pour représenter les connaissances géoraphiques a eu beaucoup d'attentions récemment. Néanmoins, les DLs classiques ne sont pas adaptées pour la représentation des connaissances incomplètes et incertaines, qui caractérisent plusieurs situations du domaine géographique. En outre, elles ne permettent pas de représenter l'information spatio-temporelle. Dans ce papier, nous proposons une extension possibiliste de la très expressive logique de description SROIQ(D), la base du langage OWL2, appelée Poss ? SROIQ(D). Cette solution permet de gérer l'incertitude et faire face à l'incohérence dans les applications géographiques. La syntaxe et la sémantique de Poss ? SROIQ(D) sont proposées et des exemples illustratifs, du domaine archéologique, sont donnés ainsi que le principe du système d'inférence. The use of description logics (DL) formalism to represent geographical knowledge has received a lot of attention recently. Nevertheless, classical DLs are not suitable to represent incomplete and uncertain knowledge, which represent several situations in geographic domain. In addition they cannot represent the spatio-temporal information usually present in geographical applications. In this paper, we propose a possibilistic extension of the very expressive Description Logic SROIQ(D), the basis of the language OWL2, called Poss ? SROIQ(D), as a solution to handling uncertainty and for dealing with inconsistency in geographical applications. Both syntax and semantics of Poss ? SROIQ(D) are considered. Illustrative examples, from archaeological domain, are given and the principal of the inference system.