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.