 |
Article dans une revue
Representations of topological relations between simple regions in description logics: from formalization to consistency checking
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.
Mots-clés :
TOPOLOGICAL RELATIONS
DESCRIPTION LOGICS
https://hal.inrae.fr/hal-02598662
Déposant : Migration Irstea Publications <>
Soumis le : samedi 16 mai 2020 - 00:15:52
Dernière modification le : mercredi 24 février 2021 - 16:24:03
Déposant : Migration Irstea Publications <>
Soumis le : samedi 16 mai 2020 - 00:15:52
Dernière modification le : mercredi 24 février 2021 - 16:24:03
Données personnelles 
Mentions légales 