Role of model theory

• The semantics of RDFS and OWL is based on model theory

• Essentially, it represents logic systems by sets; thereby using the apparatus of mathematical sets as a tool for characterization

• In what follows, we give a very short introduction to see how this works

• For this, forget about OWL and RDFS for a while…