Description

Recently, the use of knowledge representation and reasoning on the
so-called Semantic Web has received a lot of attention. While well
established reasoning methods such as subsumption reasoning have
already proven to be useful in this context, the nature of the
Semantic Web comes with new challenges such as:

- the need to deal with distributed representations
- semantic heterogeneity of these representation
- the bottleneck cause by the modelling effort

In this course we introduce the basic ideas of current technologies
and discuss novel approaches to address the above mentioned
challenges:

- the use of approximate logical reasoning to
  overcome the problem of heterogeneous and conflicting knowledge

- extensions to classical reasoning tasks supporting the
  construction of ontologies to reduce the modelling effort

- formalisms and reasoning procedures for distributed
  representations.

The tutorial will be organized in the following way:

Day 1. The Semantic Web at a glance
- Motivation, Applications and Languages

Day 2. Logical Reasoning on the Semantic Web
- OWL: Description Logic reasoning
- Frame-Logic and Rule-based reasoning

Day 3. Ontology Engineering
- Formalization, Explanation and Debugging of Ontologies

Day 4. Distributed Representations
- Partitioning, Contextualizing and Modularizing Ontologies

Day 5. Approximate Reasoning
- Approximate Classification, Filtering and Matching