UniDL '10: July 20

First Workshop on Uncertainty in Description Logics

associated with IJCAR

Overview

During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in DLs. This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty.

The workshop ends with a demonstration session of reasoning tools for DL-based formalisms that are capable to express uncertainty, where all participants of the workshop can demonstrate their systems.

More information can be found here.

Programme

Invited Talk

Program Chairs

Thomas Lukasiewicz, Oxford University, United Kingdom
Rafael Peñaloza, TU Dresden, Germany
Anni-Yasmin Turhan, TU Dresden, Germany

Program Committee:

Eyal Amir, UI Urbana-Champaign, United States
Fernando Bobillo, University of Zaragoza, Spain
Simona Colucci, Politecnico di Bari, Italy
Fabio Cozman, Universidade de Sao Paulo, Brazil
Manfred Jaeger, Aalborg University, Denmark
Pavel Klinov, University of Manchester, United Kingdom
Ralf Möller, TU Hamburg-Harburg, Germany
Mathias Niepert, University of Mannheim, Germany
Guilin Qi, Southeast University, China
Stefan Schlobach, Vrije Universiteit Amsterdam, Netherlands
Luciano Serafini, FBK-IRST, Italy
Giorgos Stoilos, Oxford University, United Kingdom
Umberto Straccia, ISTI-CNR, Italy