Description Logics study group

Participants: Mai Ajspur, Jens Ulrik Hansen, Morten Ib, Søren Debois, Thomas Hildebrand,

John Gallagher, Arne Glenstrup, Francesco Zanitti, Ole Torp Lassen and Sine Zambach

The meeting will be from 10-12 unless something else is planned. Trains to RUC departs at 9.16 from Valby and 9.11 from Hb.

Plan (under constructions)

Date	Readings	Discussion responsibles	Location
09.09.09	Chapter 1-2.2	Jens Ulrik Hansen & Sine Zambach (Intro to DL)	RUC
23.09.09	2.2 – end of chapter 2	Søren Debois (More intro to DL)	RUC
07.10.09 – 13-15	Cancelled		ITU -2A05
21.10.09	Chapter 3	Mai Ajspur (Complexity of Reasoning)	ITU
04.11.09	Chapter 3 Chapter 4	3.1.1.2: Tableaux of the AND-branching to give an intuition of the complexity. Arne 3.9: List and drawings to give a better overview of the complexities Jens Ulrik 4A) AI-part: Mai 4B) Logic formalisms: Jens Ulrik 4C) Databases: Sine	ITU
18.11.09	Cancelled		ITU
02.12.09	Chapter 13	Sine (OWL and medical Informatics)* Introduction to OWL for logicians	ITU
11.12.09	Chapter 9	Francesco	RUC – 43,2.02
18.12.09	Chapter 9 More OWL	From 9.5.1.2: Francesco/(Sine(?) Owl-tutorial *)	ITU - 4A09
15.01.10	Chapter 10		RUC

* The bad owl-file from 02.12.09 can be found here. The debugged one is here, and the one which is both small and nice and debugged is here. A short paper on the modelling-process is here.