Logical Modelling
From International Center for Computational Logic
Logical Modelling
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2017
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
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.
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)
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS4, April 5, 2017 in APB E005 | |
| Lecture | Answer-Set Programming | DS4, April 12, 2017 in APB E005 | File |
| Lecture | FO(\cdot) and IDP | DS4, April 19, 2017 in APB E005 | |
| Lecture | The Web Ontology Language | DS4, April 26, 2017 in APB E005 | File 1, File 2 |
| Lecture | Assignment Presentations | DS4, July 26, 2017 in APB E005 |
Calendar
