Home NEMO 2015 Lectures Ontology Modelling with Description Logics

Ontology Modelling with Description Logics

Prof. Dr. Ulrich Reimer

Prof. Dr. Ulrich Reimer

FHS St. Gallen, Switzerland

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