Home NEMO 2014 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 an ontology 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 from various application areas how ontology modelling can be utilized.

Lecture at NEMO2014

Date/Time: Thursday, July 17, 2014 at 16:00