Logical Modelling

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2017

Dozent

Umfang (SWS)

0/2/0

Module

Leistungskontrolle

Hausarbeit

NEWS:

Presentations of the practical Assignments: Wednesday 26.7 (DS 4)
We meet regularly on Wednesdays (except 17.5 = Dies Academicus)

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

In General

Baader, Franz. "Logic-based knowledge representation." Artificial intelligence today. Springer Berlin Heidelberg, 1999. 13-41.

ASP

Answer Set Solving in Practice: Advanced techniques: https://potassco.org/doc/tutorials/2015/01/01/fmcad12.html
http://dl.acm.org/citation.cfm?id=2043195
Multi-Shot Solving: https://arxiv.org/abs/1705.09811

IDP

Tutorial on IDP: https://dtai.cs.kuleuven.be/krr/files/TutorialIDP.pdf
https://lirias.kuleuven.be/handle/123456789/229814

OWL Protege (& Description Logics)

http://www.sciencedirect.com/science/article/pii/S1574652607030039
Protege Tutorial (see lecture material)

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS4, 5. April 2017 in APB E005
Vorlesung	Answer-Set Programming	DS4, 12. April 2017 in APB E005	Datei
Vorlesung	FO(\cdot) and IDP	DS4, 19. April 2017 in APB E005
Vorlesung	The Web Ontology Language	DS4, 26. April 2017 in APB E005	Datei 1, Datei 2
Vorlesung	Assignment Presentations	DS4, 26. Juli 2017 in APB E005

Kalender