Welcome to the InfoSci Platform
Reference Hub3
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

Catherine Roussey, François Pinet, Michel Schneider
Copyright: © 2013 |Volume: 4 |Issue: 2 |Pages: 20
ISSN: 1947-3192|EISSN: 1947-3206|EISBN13: 9781466634527|DOI: 10.4018/jaeis.2013040105
Cite Article Cite Article

MLA

Roussey, Catherine, et al. "Representations of Topological Relations Between Simple Regions in Description Logics: From Formalization to Consistency Checking." IJAEIS vol.4, no.2 2013: pp.50-69. http://doi.org/10.4018/jaeis.2013040105

APA

Roussey, C., Pinet, F., & Schneider, M. (2013). Representations of Topological Relations Between Simple Regions in Description Logics: From Formalization to Consistency Checking. International Journal of Agricultural and Environmental Information Systems (IJAEIS), 4(2), 50-69. http://doi.org/10.4018/jaeis.2013040105

Chicago

Roussey, Catherine, François Pinet, and Michel Schneider. "Representations of Topological Relations Between Simple Regions in Description Logics: From Formalization to Consistency Checking," International Journal of Agricultural and Environmental Information Systems (IJAEIS) 4, no.2: 50-69. http://doi.org/10.4018/jaeis.2013040105

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.