A decidable weakening of Compass Logic based on cone-shaped cardinal directions.
Angelo MontanariGabriele PuppisPietro SalaPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- cardinal directions
- qualitative spatial
- binary relations
- consistency checking
- transitive closure
- knowledge representation
- spatial databases
- spatial objects
- first order logic
- cardinal direction relations
- spatial relations
- spatial relationships
- spatio temporal data
- r tree
- spatial data
- constraint satisfaction problems
- data structure