184.772 Description Logics and Ontologies
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2018S, VU, 2.0h, 3.0EC
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

At the end of the course, the students will be able to: 

- model knowledge from diverse domains in an adequately chosen DL and formalize inference problems arising in those areas as reasoning services, explaining the advantages and disadvantages of different choices by arguing about the complexity of reasoning, expressiveness features, model-theoretic properties, and the availability of reasoning tools;

- find existing ontologies and reasoning tools, and assuming the availability of suitable documentation, judge the adequacy of different tools for providing a requested reasoning service over a given ontology; and

- read and understand introductory texts on current DL research trends, and formulate clearly a basic explanation of selected problems being studied currently by the DL research community.

 The specific learning objectivesare:


(1) The students will name the main description logics, list their distinguishing
features, and write simple knowledge bases modeling different domains in them.

(2) The student will formalize data management and artificial intelligence problems in
different application domains, as standard and non-standard reasoning services in DLs.

(3) The student will classify main reasoning problems and DLs according to their
computational complexity, and explain selected algorithms for solving these reasoning
problems in different DLs.

(4) The student will be capable of locating existing ontologies for selected application
domains. Given an ontology with a suitable description, the student will understand the
description, match the ontology to a DL with the necessary expressiveness and minimal
complexity, and judge the quality of the ontology and criticize its modeling principles.

(5) Given a DL and a reasoning task, the student will be able to locate an existing
reasoner. Given a basic description of the algorithms the reasoner implements, the
student will argue about its adequacy for the task.

(6) The student will explain, at a high-level but clearly, some selected problems that
are receiving attention in the DL research community, and provide examples illustrating
them. The student will have the ability to read recent research papers
and understand their core contributions.

Subject of course

The course will provide the theoretical foundations of Description Logics (DLs) as well as basic skills for using DL ontologies in Information systems. It will cover both theory and practice, and give an overview of current research in the field.

Part 1: Knowledge representation using DLs

  • DL basics, knowledge bases
  • Reasoning services 
  • DLs as a toolbox: constructors and expressiveness  

Part 2: Foundations of DLs 

  • Reasoning algorithms 
  • Complexity of reasoning 

 Part 3: Applications of DL ontolgies (covering also reasoning tools)

(a) DLs on the Web

  • The OWL languages
  • Ontologies in the Semantic Web
  • OWL reasoners and their underlying algorithms

(b) DLs for life sciences

  • Biomedical and life sicences ontology repositories
  • The EL profile, reasoning in EL

(c) Ontology Based data management 

  • The DL-Lite family
  • Basics of query rewriting and query answering
  • OBDA systems

Part 4: Current research trends

  • Selected topics of research in DLs 

 

Additional information

For the SS 2018, the introduction and first lecture will take place on 17.04, 8:45 am.

 The lectures will take place in the time 8:30 -10:30 (sharp).

The course will be held in blocked form,; see individual appointments.

ECTS breakdown:

Lectures: 16 hours (8 lectures of 2 hours each) 

Exercises: 32 hours (4 exercise sheets,  each 6 h house work + 2 h discussion)

Small research assignments:  27 hours (3 x 9 hours)

 ----  Total: 75 hours

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue08:30 - 11:0024.04.2018 - 26.06.2018Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Thu08:40 - 09:5524.05.2018 - 21.06.2018Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, exercises
Tue08:30 - 11:0029.05.2018 Menger Meeting Room, Inst 192, Favoritensrt. 9, Staircase 3,3rd floorDescription Logics and Ontologies, Lecture
Description Logics and Ontologies - Single appointments
DayDateTimeLocationDescription
Tue24.04.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Tue08.05.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Tue15.05.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Thu24.05.201808:40 - 09:55Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, exercises
Tue29.05.201808:30 - 11:00 Menger Meeting Room, Inst 192, Favoritensrt. 9, Staircase 3,3rd floorDescription Logics and Ontologies, Lecture
Tue05.06.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Tue12.06.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Thu14.06.201808:40 - 09:55Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, exercises
Tue19.06.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture
Thu21.06.201808:40 - 09:55Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, exercises
Tue26.06.201808:30 - 11:00Seminarraum FAV EG B (Seminarraum von Neumann) Description Logics and Ontologies, Lecture

Examination modalities

Lectures: oral presentation using blackboard and slides

Exercises: the students solve individual assignments. Selected solutions are discussed
in class.

Small projects: the students do three small research and reading assignments on selected topics (of their own choice), and share their findings with the group via a short presentation.

Examination: grades will be assigned based on the assignments and projects. Students
will have the opportunity of taking an optional oral exam to improve their grade.

Course registration

Begin End Deregistration end
01.03.2018 08:00 27.04.2018 23:59

Curricula

Study CodeSemesterPrecon.Info
066 931 Logic and Computation

Literature

No lecture notes are available.

Previous knowledge

Basic knowledge in these areas  is an advantage, but not a requirement: logic, thoery of databases, complexity theory, foundations of semantic web, knowledge representation and reasoning.

By having a broad selection of exercises and reading topics, the course is tailored to accomodate for both people with a more theory-oriented interestinterested in DLs as computational logics, and people with interest in the practical use of ontologies, who want to properly understand the foundations of modeling and reasoning with them.

Accompanying courses

Language

English