Tutorial Course Information
warning: the course material has been recently completely revised. The bibliography and the reference material have been updated; most slides were rewritten. Slides of modules 5 and 6 are still to be revised. (March 2002)

lecturer: Enrico Franconi, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy

prerequisites: basic Mathematical Logics course

course description:

The main effort of the research in knowledge representation is providing theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. In this course we will study Description Logics (DL), an important powerful class of logic-based knowledge representation languages (see www.dl.kr.org). The emphasis will be on a rigorous approach to knowledge representation and building ontologies. After an original review of the relevant concepts on computational logics, the course will start with an introduction to Object-Oriented representations in Information Systems and Artificial Intelligence, which serve as the main motivations for studying DL. DL will be introduced with its simplest formalization; the computational properties and algorithms of the so called structural DL will be analyzed. Then, the course considers propositional DL: we will study the computational properties and the reasoning with tableaux calculus. In the second part of the course, we will consider advanced topics such as the representation of knowledge bases and ontologies, and the connections of DL with Modal Logics and First Order Logic. The last module of the course will analyze the connections of DL with database theory.

course material:

Students are expected to read and study during the course all the material marked as basic reading; the rest of the material is optional but recommended anyway. Most papers can be downloaded from this page. Students without a strong background in classical logic are warmly suggested to review before the beginning of the course the basic concepts of classical logic in one of the books suggested for module 1.

useful links:

  • The official Description Logics page
  • The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002. ISBN 0521781760. Edited by F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. F. Patel-Schneider. Contributors: D. Nardi, R.J. Brachman, F. Baader, W. Nutt, F.M. Donini, U. Sattler, D. Calvanese, R. Molitor, G. De Giacomo, R. Kuesters, F. Wolter, D.L. McGuinness, P.F. Patel-Schneider, R. Moeller, V. Haarslev, I. Horrocks, A. Borgida, C. Welty, A. Rector, E. Franconi, M. Lenzerini, R. Rosati.

Course version 2 ( Last modified: Mon Dec 23 23:41:13 GMT 2002 )

Web www.computational-logic.eu

  • Course material prepared by me may contain errors: please, help me in making it better.
  • Parts of the above course material have been inspired by many contributors in the DL field: thanks to them all!
  • Online papers may be copyrighted and they are available for evaluation purposes only. People are invited to contact the authors or the publishers for permissions.
Diplom, Formale Methoden, Informatik, Künstliche Intelligenz, Logik, Europäischer Master, Fachlaureat, Internationaler Master, Master, master, Spezialisierung, Stipendium, Studienplatz, Studium, Universität Bozen, borsa di studio, informatica, intelligenza artificiale, logica, borse di studio, corsi specialistici postlaurea, degree, artificial intelligence, formal methods, logic, logics, diploma, european master, european masters, grant, grants, informatikstudium, laurea, master europeo, scienze informazione, master universitari, masters, masterstudiengang, masterstudiengänge, scholarship, specializzazione, studi, università bolzano, university bolzano, university bozen, universität bozen, erasmus mundus, european studies, freie universität bozen, studiengang, studiengänge, studieren, studium, international students, lauree specialistiche, laurea specialistica, libera università di bolzano, wirtschaftsinformatik, studienführer, technische informatik, universitäten informatik, DESCRIPTION LOGICS, DESCRIPTION LOGICS course, DESCRIPTION LOGICS tutorial