Logical Modeling

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Logical Modeling

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

Dozent

Tutor

Umfang (SWS)

  • 0/2/0

Module

Leistungskontrolle

  • Hausarbeit

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.

Veranstaltungskalender abonnieren (icalendar)

Seminar Introduction DS4, 13. April 2016 in APB E005 Download
Seminar Introduction: ASP DS4, 20. April 2016 in APB E005
Seminar Introduction: OWL DS4, 4. Mai 2016 in APB E005
Seminar Introduction: FO(ID), IDP System DS4, 11. Mai 2016 in APB E005
Seminar Discussion: Assignment Topics DS4, 25. Mai 2016 in APB E005
Vorlesung Discussion: Assignment Topics DS4, 8. Juni 2016 in APB E005
Vorlesung Presentation: Practical Assignments DS4, 13. Juli 2016 in APB E005


Kalender

Lade …