Representations of Topological Relations Between Simple Regions in Description Logics: From Formalization to Consistency Checking

Catherine Roussey, François Pinet and Michel Schneider
Additional contact information
Catherine Roussey: French Institute for Agricultural and Environnemental Engineering, Campus des Cézeaux, Aubière, France
François Pinet: French Institute for Agricultural and Environnemental Engineering, Campus des Cézeaux, Aubière, France
Michel Schneider: Computer Science, Blaise Pascal University, Clermont-Ferrand, France

International Journal of Agricultural and Environmental Information Systems (IJAEIS), 2013, vol. 4, issue 2, 50-69

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.

Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/jaeis.2013040105 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jaeis0:v:4:y:2013:i:2:p:50-69

Access Statistics for this article

International Journal of Agricultural and Environmental Information Systems (IJAEIS) is currently edited by Frederic Andres

More articles in International Journal of Agricultural and Environmental Information Systems (IJAEIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().