Ontology Modelling with Description Logics
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