Implicit, Formal, and Powerful Semantics in Geoinformation.
Gloria BordognaCristiano FugazzaPaolo TagliolatoPaola CarraraPublished in: ISPRS Int. J. Geo Inf. (2021)
Keyphrases
- model theoretic
- machine processable
- formal language
- operational semantics
- formal semantics
- specification languages
- highly expressive
- learning algorithm
- formal model
- conceptual model
- semantic information
- high level
- metadata
- deductive databases
- formal methods
- nonmonotonic logics
- case study
- update semantics
- machine learning