https://123dok.net/document/zkw19lnm-geospatialrules-a-datalog-ruleml-rulebase-for-geospatial-reasoning.html