Keyphrases
- spatio temporal
- spatial information
- logic programming
- spatial data
- semantic information
- spatial and temporal
- space time
- spatial databases
- spatial distribution
- spatial reasoning
- spatial relationships
- logical language
- temporal dimension
- specification language
- semantic representation
- formal semantics
- spatial correlation
- graphical representation
- default reasoning
- case study
- conceptual model
- database systems