Lectures
(Lecture notes will be available shortly)- 20 September:
- Introduction to Description Logics
PDF slides (screen)
2 slides per page 6 slides per page - 4 October:
- Reasoning in Description Logics (Part 1)
PDF slides (screen)
2 slides per page 6 slides per page - 11 October:
- Reasoning in Description Logics (Part 2)
PDF slides (screen)
2 slides per page 6 slides per page - 18 October:
- Conceptual Modelling in Description Logic
PDF slides (screen)
2 slides per page 6 slides per page
Readings
- Daniele Nardi and Ronald J. Brachman. An introduction
to Description Logics. In Baader, Calvanese, McGuinnes
Nardi and Patel-Schneider, (eds). The Description Logics
Handbook, chapter 1, pages 1-40. Cambridge University
Press, 2003. (Download the
file)
This is a general introduction to description logics. - Franz Baader and Werner Nutt. Basic Description
Logics. In Baader, Calvanese, McGuinnes Nardi and
Patel-Schneider, (eds). The Description Logics
Handbook, chapter 2, pages 43-95. Cambridge University
Press, 2003. (Download the
file)
This is the basic reading for lecture 1 and 2. - Diego Calvanese, Maurizio Lenzerini and Daniele
Nardi. Description Logic for Conceptual Data Modeling
In Jan Chomicki and Gunter Saake (eds) Logics for
Databases and Information Systems, chapter 8, pages
229-263. Kluwer Academic Press, 1998.(Download the file)
This is the basic reading for lecture 3. - Peng Yew Chow and Guido Governatori. Representing and
Reasoning on XForms Document. In Klaus-Dieter Schewe
and Hugh E. Williams (eds). Fifteenth Australasian
Database Conference (ADC2004), pages 141-150, ACS,
2004. (Download the file)
Part of lecture 4 will be based on this paper. - Grigoris Antoniou and Gerd Wagner. Rules and Defeasible
Reasoning on the Semantic Web. In M. Schroeder and
G. Wagner (eds) RuleML 2003, Lecture Notes in
Computer Science 2876, pages 111-120. Springer-Verlag,
2003. (Download the file)
This reading is revelant for part of the last lecture.
Last modified: Mon Oct 18 09:35:33 E. Australia Standard Time 2004