François Bancilhon (1986):
Naive Evaluation of Recursively Defined Relations.
In: Micheal L. Brodie & John Mylopoulos: On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies,
Topics in Information Systems.
Springer,
New York, NY,
pp. 165–178,
doi:10.1007/978-1-4612-4980-1_17.
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis & Pei-Wei Tsai (2018):
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.
Theory and Practice of Logic Programming 18(3-4),
pp. 355–371,
doi:10.1017/S147106841800011X.
Robert Battle & Dave Kolas (2011):
GeoSPARQL: Enabling a Geospatial Semantic Web.
Semantic Web,
pp. 17.
Mehul Bhatt, Jae Hee Lee & Carl Schultz (2011):
CLP(QS): A Declarative Spatial Reasoning Framework.
In: COSIT 2011,
Lecture Notes in Computer Science 6899.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 210–230,
doi:10.1007/978-3-642-23196-4_12.
Eliseo Clementini, Jayant Sharma & Max J Egenhofer (1994):
Modeling Topological Spatial Relations: Strategies for Query Processing.
Computers and Graphics 18(6),
pp. 815–822,
doi:10.1016/0097-8493(94)90007-8.
Anthony G. Cohn, Brandon Bennett, John Gooday & Nicholas Mark Gotts (1997):
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus.
GeoInformatica 3(1),
pp. 275–316,
doi:10.1023/A:1009712514511.
Willem Robert Van Hage, Jan Wielemaker & Guus Schreiber (2010):
The Space Package: Tight Integration between Space and Semantics.
Transactions in GIS 14(2),
pp. 131–146,
doi:10.1111/j.1467-9671.2010.01187.x.
Jiawei Han, Ling Liu & Zhaohui Xie (1994):
LogicBase: A Deductive Database System Prototype.
In: CIKM '94: Proceedings of the Third International Conference on Information and Knowledge Management,
pp. 226–233,
doi:10.1145/191246.191285.
Theofilos Ioannidis, George Garbis, Kostis Kyzirakos, Konstantina Bereta & Manolis Koubarakis (2019):
Evaluating Geospatial RDF Stores Using the Benchmark Geographica 2.
arXiv:1906.01933 [cs],
doi:10.1007/s13740-021-00118-x.
Shafat Khan & Mutahar Syed (2017):
Empirical Evaluation of ArcGIS with Contemporary Open Source Solutions - A Study.
International Journal of Advance Research in Science and Engineering 6,
pp. 724–736.
Kostis Kyzirakos, Manos Karpathiotakis & Manolis Koubarakis (2012):
Strabon: A Semantic Geospatial DBMS.
In: The Semantic Web ISWC 2012 7649.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 295–311,
doi:10.1007/978-3-642-35176-1_19.
Beidi Li, Mehul Bhatt & Carl Schultz (2019):
λProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming.
In: 14th International Conference on Spatial Information Theory (COSIT 2019),
pp. 26:1–26:8,
doi:10.4230/LIPIcs.COSIT.2019.26.
Werner Nutt (1999):
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics.
In: G. Goos, J. Hartmanis, J. van Leeuwen, Wolfram Burgard, Armin B. Cremers & Thomas Cristaller: KI-99: Advances in Artificial Intelligence,
Lecture Notes in Computer Science 1701.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 113–124,
doi:10.1007/3-540-48238-5_9.
OpenStreetMap contributors (2017):
Planet Dump Retrieved from https://planet.osm.org.
Gilles Pesant & Michel Boyer (1999):
Reasoning about Solids Using Constraint Logic Programming.
Journal of Automated Reasoning 22,
pp. 241–262,
doi:10.1023/A:1006080931326.
Paul Ramsey & Mark Leslie (2012).
https://postgis.net/workshops/postgis-intro/de9im.html.
Markus Stocker & Evren Sirin (2009):
Pelletspatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine.
In: In: OWLED 2009.
Springer.
Przemysław Andrzej Wałęga, Carl Schultz & Mehul Bhatt (2017):
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.
Theory and Practice of Logic Programming 17(2),
pp. 205–225,
doi:10.1017/S1471068416000193.