Representations of topological relations between simple regions in description logics: from formalization to consistency checking - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Article Dans Une Revue International Journal of Agricultural and Environmental Information Systems Année : 2013

Representations of topological relations between simple regions in description logics: from formalization to consistency checking

Représentation en logiques de description des relations topologiques entre régions simples : de la formalisation à la vérification de la cohérence.

Résumé

This paper proposes an operational approach to (1) formalize, in Description Logics (DL), the topological relations between simple regions and (2) automatically check whether a set of relations is consistent. The solution allows for the use of traditional DL reasoners (Pellet, Fact++, etc.) to check the consistency of relations and detect the sources of error. The solution does not require any specific extension of the DL or reasoner. The authors demonstrate how to apply this approach with Protégé and Fact++. Different spatial relations in agricultural and environmental applications are also provided to illustrate the possible uses of our method.
Fichier non déposé

Dates et versions

hal-02598662 , version 1 (16-05-2020)

Identifiants

Citer

Catherine Roussey, François Pinet, M. Schneider. Representations of topological relations between simple regions in description logics: from formalization to consistency checking. International Journal of Agricultural and Environmental Information Systems, 2013, 4 (2), pp.50-69. ⟨10.4018/jaeis.2013040105⟩. ⟨hal-02598662⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More