In wenigen Augenblicken findet das taegliche Datenbackup statt (Ausfallzeit ca. 20 Minuten). Bitte loggen Sie sich aus.

Seminar: Logical Modelling

Professur Computational Logic | Sommersemester 2020 Seminar: Logical Modelling
This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover
  • See also https://iccl.inf.tu-dresden.de/web/Seminar:_Logical_Modelling_(SS2020)
  • OWL (the popular Web Ontology Language used in the Semantic Web but also for offline knowledge management solutions)
  • Answer Set Programming, a logic programming approach used for modeling search and constraint satisfaction problems, and
  • FO(ID) and the IDP System.
All approaches come with a good tool support for modeling and automated inferencing. After a few initial sessions to provide the basics, the students will be asked to logically model a certain domain and later present the result(s) and explain the design decisions made.
Display more information
Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.