Logical Modeling

Logical Modeling

Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2016

Lecturer

• Sebastian Rudolph

Tutor

• Lukas Schweizer

SWS

• 0/2/0

Modules

• INF-BAS2
• MCL-PI
• MCL-KR
• INF-VERT2

Examination method

• Term paper

• Information
• Dates and Materials

We fixed the 14th of July for the presentations of the practical assignments.

This seminar intends to address the topic of practical modeling in knowledge representation languages. As formalisms, we will cover

• 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 modelling 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 and explain the design decisions made.

Subscribe to events of this course (icalendar)

Seminar	Introduction	DS4, April 13, 2016 in APB E005	File
Seminar	Introduction: ASP	DS4, April 20, 2016 in APB E005
Seminar	Introduction: OWL	DS4, May 4, 2016 in APB E005
Seminar	Introduction: FO(ID), IDP System	DS4, May 11, 2016 in APB E005
Seminar	Discussion: Assignment Topics	DS4, May 25, 2016 in APB E005
Lecture	Discussion: Assignment Topics	DS4, June 8, 2016 in APB E005
Lecture	Presentation: Practical Assignments	DS4, July 13, 2016 in APB E005

Calendar