Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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

Abstract : 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.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.inrae.fr/hal-02598662
Déposant : Migration Irstea Publications <>
Soumis le : samedi 16 mai 2020 - 00:15:52
Dernière modification le : jeudi 28 mai 2020 - 10:48:01

Lien texte intégral

Identifiants

Collections

Citation

C. 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, IGI Global, 2013, 4 (2), pp.50-69. ⟨10.4018/jaeis.2013040105⟩. ⟨hal-02598662⟩

Partager

Métriques

Consultations de la notice

13