GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning.
Gen ZouPublished in: Challenge+DC@RuleML (2014)
Keyphrases
- expressive power
- deductive databases
- query answering
- knowledge base
- geospatial data
- reasoning systems
- query language
- knowledge representation
- logic programming
- probabilistic reasoning
- automated reasoning
- knowledge representation and reasoning
- google earth
- default reasoning
- reasoning process
- existentially quantified