Description Logic

Description Logic (DL) has a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DL has recently gained increased importance since it form the logical basis of widely used ontology languages, in particular the web ontology language OWL.
 

Learning Outcomes: 

After completion of this course, the students

  • understand syntax and semantics of DL and are capable of modeling specific knowledge in DL
  • know the basic model theory of DL
  • can describe the different reasoning problems in DL
  • are able to apply various algorithms to solve those reasoning problems
  • understand the computational complexities of those problems and algorithms
  • know the fundamentals of ontology mediated query answering
     
Type: 
Course
Semester: 
A2017
ECTS: 
5
Lecturer: 
Site: 
B
Code: 
41095
61095
Language: 
english
Period: 
weekly
Schedule: 
Tuesday: 9:15 - 12:00
Location: 
UniBE, ExWi
Room: 
B77
Comment: 

First Lecture
The first lecture will take place on Tuesday, 19.09.2017 at 09:15 in UniBE, ExWi, room B77.

ILIAS
The course page in ILIAS can be found at https://ilias.unibe.ch/goto.php?target=crs_1166727&client_id=ilias3_unibe.