Ontology Modelling with Description Logics
After a short introduction into what anontology is the course will focus on modelling ontologies using description logics. We will explain the rationale behind the use of a mathematical formalism like description logics as the means to model ontologies. The model-theoretic semantics underlying description logics lays the foundation for terminological reasoning from which various added-value services can be derived. Moreover, since representing ontologies with description logics makes them machine-understandable the ontologies can be easily shared and utilized by different applications, i.e. the semantics is inherent in the representation and does not reside in the programs interpreting the representations. The course will give examples how ontologies can be utilized for enterprise modelling.
Lecture at NEMO2015
Date/Time: Monday, July 27, 2015 at 11:00