1-AIN-646 Description Logics, Ontologies and Semantic Web

Evaluation during the course: test

Concluding evaluation: examination

Subject aim: Aim of the course is to introduce students to ontology engineering and current semantic web ontology technology. Course explains description logics (DLs), RDF and OWL, mostly concentrating on theory, but practical use is discussed as well.

Brief curriculum of the subject:

We introduce ontology engineering and DLs as ontology representation language. We explain in depth several DLs, starting from ALC, ranging to very expressive SHOIQ: we explain syntax, semantics, reasoning tasks, reasoning algorithms, and computational complexity. Second part of the course is concerned with current semantic web ontology technology: RDF and OWL. The semantics is explained and their inter-relations as well as relations to DLs are discussed.

Literature:

- Study material prepared for the course (DLs).

- W3C's RDF/s, OWL related specifications.

- The Description Logic Handbook, Baader, F., et al. (eds.), Oxford University Press, 2003

Language in which the subject is taught: Slovak or English

Date of the last sheet revision: 21.6.2008