Geolog: Scalable Logic Programming on Spatial Data.
Tobias GrubenmannJens LehmannPublished in: ICLP Technical Communications (2021)
Keyphrases
- spatial data
- logic programming
- logic programs
- spatial databases
- spatial data mining
- answer set programming
- nonmonotonic reasoning
- r tree
- logic programming language
- knowledge representation
- geographic information systems
- deductive databases
- knowledge base
- programming language
- reasoning tasks
- geospatial data
- answer sets
- computational logic
- constraint logic programming
- geographical information systems
- spatial objects
- spatial queries
- data analysis
- default logic
- spatial clustering
- geo spatial
- semantic web
- geographical information
- defeasible argumentation
- disjunctive logic programming
- spatial information
- high level