Abstract
Topological relation is the most important spatial relation. Region Connection Calculus (RCC) is a famous representation of topological relations between regions. But RCC and the other theories improved from RCC cannot represent topological relations between enclave and exclave regions well. An extend RCC theory (ERCC) is proposed with the concept of convex hull that can solve the problem. ERCC can describe eleven kinds of relations between complex regions, which is embedded into an ontology in OWL with rules. A rule based reasoning system is designed to reasoning the topological relations with their semantics. The ontology has more abundant description ability and the reasoning system has more powerful reasoning ability with ERCC theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufmann (1992)
Clarke, B.L.: A calculus of individuals based on ‘connection’. Notre Dame J. Formal Logic 22(3), 204–218 (1981)
Cohn, A.G., Renz, J.: Qualitative spatial representation and reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 551–596. Elsevier, Amsterdam (2007)
Dong, T.: A comment on RCC: from RCC to RCC++. J. Philos. Logic 34(2), 319–352 (2008)
Bai, L., Li, Y., Ma, Z.M.: Modeling topological relations between fuzzy spatiotemporal regions over time. In: IEEE International Conference on Fuzzy Systems, pp. 1–8. IEEE Press, Brisbane (2012)
Egenhofer, M., Vasardani, M.: Spatial reasoning with a hole. In: Winter, S., Duckham, M., Kulik, L., Kuipers, B. (eds.) COSIT 2007. LNCS, vol. 4736, pp. 303–320. Springer, Heidelberg (2007)
Zhao, R.: Research on reasoning and topological relations between spatial region with holes and simple unclosed line. MS thesis, Jilin University, Changchun (2009)
Wolter, D., Kreutzmann, A.: Analogical representation of RCC-8 for neighborhood-based qualitative spatial reasoning. In: Hölldobler, S., et al. (eds.) KI 2015. LNCS, vol. 9324, pp. 194–207. Springer, Heidelberg (2015). doi:10.1007/978-3-319-24489-1_15
Enclave and exclave. https://en.wikipedia.org/wiki/Enclave_and_exclave
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Allen, J.F.: Planning as temporal reasoning. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 3–14. Morgan Kaufmann (1991)
Web Ontology Language (OWL). https://www.w3.org/2001/sw/wiki/OWL
Batsakis, S., Antoniou, G., Tachmazidis, I.: Representing and reasoning over topological relations in OWL. In: 4th International Conference on Web Intelligence, Mining and Semantics (WIMS14). ACM, New York (2014)
Stocker, M., Sirin, E.: Pelletspatial: a hybrid RCC-8 and RDF/OWL reasoning and query engine. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions. Chantilly (2009)
Mainas, N., Petrakis, E.G.M.: CHOROS 2: improving the performance of qualitative spatial reasoning in OWL. In: 26th International Conference on Tools with Artificial Intelligence, pp. 283–290. IEEE Press, Limassol (2014)
Acknowledgments.
This work has been supported by the Fundamental Research Funds for the Central Universities, National High Technology Research and Development Program of China (No.2015AA016501).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Neng, W., Zhongliang, D., Guangyong, Y. (2016). Representation and Reasoning of Topological Relations Between Enclave and Exclave Regions. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2016. ICCSA 2016. Lecture Notes in Computer Science(), vol 9790. Springer, Cham. https://doi.org/10.1007/978-3-319-42092-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-42092-9_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42091-2
Online ISBN: 978-3-319-42092-9
eBook Packages: Computer ScienceComputer Science (R0)