Semantics in Information Systems
To define: replace “world” by a conceptualization, e.g.
- list of entities, objects, things
- list of relations, maybe functions too
- … other “neutral” stuff
Build Conceptual Schema as (usually first order) language of terms and well-formed formulas
Create a database according to this CS and populate it with facts (“model”)
Declarative semantics is formally defined mapping (“interpretation”) of CS + DB to conceptualization