Keyphrases
- formal semantics
- image data
- geographic information systems
- formal language
- first order logic
- er model
- logical language
- spatial data
- databases
- modelling language
- operational semantics
- logical reasoning
- theorem prover
- spatial databases
- ontology languages
- remote sensing
- modeling language
- data integration
- information integration
- epistemic logic
- speech acts
- data modeling
- description logics
- database systems