ITEE Home » Infs4206 » INFS4206/INFS7206 Part 2: Description Logics

Print version

Lecturer: Guido Governatori, 78-649, guido@itee.uq.edu.au

Description

Conceptual modelling is an essential part of the design of modern information systems, and it is often done with graphical languages (Entity-Relationship model, UML). These languages are important for the design of an information systems but do not provide facilities to reasoning and verify properties of the models. The course presents an approach to conceptual data modeling based on the use of Description Logics (DLs), which are logics specifically designed to represent classes and relationships among classes. Standard formalisms used for conceptual data modeling can be equipped with a formal semantics; accordingly formalization in terms of DLs provides added value and support to the designer by allowing her to detect relevant formal properties of the design.

Lectures

7 September:

Introduction to Description Logics
PDF slides (screen)
2 slides per page 6 slides per page

14 September:

Reasoning in Description Logics (Part 1) PDF slides (screen)
2 slides per page 6 slides per page

21 September:

Reasoning in Description Logics (Part 2) PDF slides (screen)
2 slides per page 6 slides per page

5 October :

Description Logics for Conceptual Modelling PDF slides (screen)
2 slides per page 6 slides per page

Readings

1. 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.
2. 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.
3. 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 4.
4. 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)
   
5. 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)
   

---