Browse > Article
http://dx.doi.org/10.3745/KTSDE.2017.6.2.103

SSQUSAR : A Large-Scale Qualitative Spatial Reasoner Using Apache Spark SQL  

Kim, Jonghoon (경기대학교 컴퓨터과학과)
Kim, Incheol (경기대학교 컴퓨터과학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.6, no.2, 2017 , pp. 103-116 More about this Journal
Abstract
In this paper, we present the design and implementation of a large-scale qualitative spatial reasoner, which can derive new qualitative spatial knowledge representing both topological and directional relationships between two arbitrary spatial objects in efficient way using Aparch Spark SQL. Apache Spark SQL is well known as a distributed parallel programming environment which provides both efficient join operations and query processing functions over a variety of data in Hadoop cluster computer systems. In our spatial reasoner, the overall reasoning process is divided into 6 jobs such as knowledge encoding, inverse reasoning, equal reasoning, transitive reasoning, relation refining, knowledge decoding, and then the execution order over the reasoning jobs is determined in consideration of both logical causal relationships and computational efficiency. The knowledge encoding job reduces the size of knowledge base to reason over by transforming the input knowledge of XML/RDF form into one of more precise form. Repeat of the transitive reasoning job and the relation refining job usually consumes most of computational time and storage for the overall reasoning process. In order to improve the jobs, our reasoner finds out the minimal disjunctive relations for qualitative spatial reasoning, and then, based upon them, it not only reduces the composition table to be used for the transitive reasoning job, but also optimizes the relation refining job. Through experiments using a large-scale benchmarking spatial knowledge base, the proposed reasoner showed high performance and scalability.
Keywords
Qualitative Spatial Reasoning; Spark SQL; Topological Relation; Minimal Disjunctive Relations; Distributed Parallel Programming;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 P. van Beek and D. W. Manchak, "The Design and Experimental Analysis of Algorithms for Temporal Reasoning," Journal of Artificial Inteligence Research, Vol.4, No.1, pp.1-8, 1996.   DOI
2 J. Renz and B. Nebel, "Efficient Methods for Qualitative Spatial Reasoning," in Proceedings of the 13th European Conference on Artificial Inteligence, 1998.
3 S. Batsakis and E. G. Petrakis, "SOWL: A Framework for Handling Spatio-Temporal Information in OWL 2.0," in International Workshop on Rules and Rule Markup Languages for the Semantic Web. Springer Berlin Heidelberg, pp.242-249, 2014.
4 M. Stocker and E. Sirin, "PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine," in Proceedings of the 6th International Conference on OWL: Experiences and Directions, Vol.529, pp.39-48, 2009.
5 J. Dean, S. Ghemawat, "MapReduce: Simplified Data Processing on Large Clusters," Communications of the ACM, 2008.
6 G. Christodoulou, "CHOROS: A Reasoning and Query Engine for Qualitative Spatial Information," Dissertion Thesis, Technical University of Crete, Greece, 2011.
7 S. Nam and I. Kim, "A Qualitative Spatial Reasoner Supporting Cross-Consistency Checks between Directional and Topological Relations," Journal of KIISE : Computing Practices and Letters, Vol.20, No.4, pp.248-252, 2014.
8 I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," W3C Member Submission, 2004.
9 S. Nam and I. Kim, "Design and Implementation of Large-Scale Spatial Reasoner Using MapReduce Framework," Transactions on KIPS : Software and Data Engineering, Vol.3, No.10, pp.397-406, 2014.   DOI
10 M. Zaharia, M. Chowdhury, M. J. Franklin, S. Shenker, I. Shoica, "Spark: Cluster Computing with Working Sets," in Proceedings of HotCloud 2010, Jun., 2010.
11 M. Armbrust, et al, "Spark Sql: Relational Data Processing in Spark," in Proceedings of the 2015 ACM SIGMOD Intemational Conference on Management of Data, pp. 1383-1394, 2015.
12 J. Kim and I. Kim, "SPQUSAR: A Large-Scale Qualitative Spatial Reasoner Using Apache Spark," KIISE Transactions on Computing Practices, Vol.21, No.12, pp.774-779, 2015.   DOI
13 B. Gottfried, "Tripartite Line Tracks Qualitative Curvature Information," in International Conference on Spatial Information Theory. Springer Berlin Heidelberg, pp.101-117, 2003.
14 J. Renz, "Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis," in Proceedings of IJCAI, 1999.
15 D. J. Peuquet and C. X. Zang, "An Algorithm to Determine the Directional Relationship between Arbirtrarily-Shaped Polygons in the Plane," Pattern Recognition, Vol.20, No.1, pp.65-74, 1987.   DOI
16 R. Moratz and M. Ragni, "Qualitative Spatial Reasoning about Relative Point Position," Journal of Visual Languages and Computing, Vol.19, No.1, pp.75-98, 2008.   DOI
17 Z. Gantner, M. Westphal, and S. Wolfl, "GQR-A Fast Reasoner for Binary Qualitative Constraint Calculi," in Proceedings of AAAI. Vol.8, 2008.
18 R. Battle and D. Kolas, "Enabling the Geospatial Semantic Web with Parliament and GeoSPARQL," Semantic Web Journal, Vol.3, No.4, pp.355-370, 2012.