KRDB Research Centre
for Knowledge and Data
KRDB Spring School 2008
The KRDB Research Centre for Knowledge and Data at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Italy, organises a series of three hours lectures on advanced topics related to the field of Knowledge Representation and Description Logics.
All the lectures will be held on a Monday from 3pm to 6pm in the Seminar Room E411, 4th floor, Building E of the Free University of Bozen-Bolzano in Sernesistrasse 1 Via Sernesi, Bozen-Bolzano, Italy.
- Monday 7 April, 3pm-6pm
Prof. Riccardo Rosati (Univ. La Sapienza, Roma, Italy)
"Integrating Rules and Description Logic Ontologies"
In this part of the course we present a tutorial on logic-based systems integrating ontologies and rules. In particular, we focus on ontologies expressed in Description Logics and rules expressed in Datalog (and its nonmonotonic extensions).
- Monday 14 April, 3pm-6pm
Prof. Renate Schmidt (Univ. of Manchester, UK)
"Resolution-Based Theorem Proving for Description and Modal Logics"
Many description and modal logics can be seen as fragments of first-order logic. We explore the possibilities of using techniques and tools from first-order logic and resolution for deciding description and modal logics, for automatic model generation, for simulating and synthesising tableaux, and other applications.
- Monday 28 April, 3pm-6pm
Prof. Francesco Donini (Univ. della Tuscia, Viterbo, Italy)
"Nonmonotonic reasoning in Description Logics: Abduction and Contraction"
With the motivation of Matchmaking in Electronic Commerce, I will define the two non-monotonic reasoning services of Abduction and Contraction in Description Logics. Some initial results on complexity, and on how tableaux methods could be modified to handle these services, will follow. Finally, I will present an implementation (MaMaS-tng) and applications built on top of it.
- Monday 5 May, 3pm-6pm
Prof. Frank Wolter (Univ. of Liverpool, UK)
"Logical difference, conservative extensions, and modularity in Description Logic"
We discuss the notion of conservative extensions and its applications to define logical diff operations and modules for ontologies in description logic. The computational complexity of corresponding reasoning tasks as well as algorithms are presented. An experimental evaluation of some notions and algorithms based on SNOMED is presented.
- Monday 19 May, 3pm-6pm
Prof. Ulrike Sattler (Univ. of Manchester, UK)
"Reasoning in very expressive description logics"
This part of the course will discuss challenges for reasoning algorithms for very expressive DLs, and how these challenges can be met. We will discuss tree model properties, tableaux algorithms, how we can prove their correctness and termination. Moreover, we discuss latest developments in this area such hybrid tableaux and explanations.
- Monday 9 June, 3pm-6pm
Prof. Volker Haarslev (Concordia Univ., Montreal, Canada)
"The description logics system Racer: lessons learnt and challenges ahead"
In this part of the course I will briefly introduce description logics / OWL-DL and associated inferences services. Afterward I will discuss the architecture of the description logic reasoner Racer and highlight selected tableau optimization techniques, especially on assertional reasoning. Several recently devised optimization techniques were introduced due to requirements from semantic web applications relating huge amounts of (incomplete) data to ontological information.