The slides for the next lecture are now online: slides, exercise.
In the last lecture we discussed ontology future trends. In this lecture we will now go back to the logical foundations of ontologies. We will talk about first order logic and description logics. In the exercise we will furthermore make a reasoning excursus, where we apply SLD Resolution.
Some additional links:
- Complexity of reasoning in Description Logics: http://www.cs.man.ac.uk/~ezolin/dl/
- Description Logics: http://dl.kr.org
