[DL] Call for Participation: UniDL 2010

Rafael Penaloza penaloza at tcs.inf.tu-dresden.de
Thu Jul 1 10:25:14 CEST 2010

Apologies for cross-postings

                      Call for Participation

First International Workshop on Uncertainty in Description Logics
            co-located with IJCAR 2010 at FLoC 2010

                       July 20, 2010

                       Edinburgh, UK


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 Description Logics (DLs).  This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. 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


"A Probabilistic Abduction Engine for Media Interpretation based on 
Ralf Möller (TU Hamburg-Harburg, Germany)


"Compatibility Formalization Between PR-OWL and OWL"
Rommel Carvalho, Kathryn Laskey and Paulo Costa

"Gibbs Sampling in Probabilistic Description Logics with Deterministic 
Oliver Gries and Ralf Möller

"Pronto: A Practical Probabilistic Description Logic Reasoner"
Pavel Klinov

"Relationships between Probabilistic Description and First-Order Logics"
Pavel Klinov and Bijan Parsia

"Probabilistic logic encoding of spatial domains"
Paulo Santos, Fabio Cozman, Valquiria Fenelon Pereira and Britta Hummel

"Towards Approximative Most Specific Concepts by Completion for EL with 
Subjective Probabilities"
Anni-Yasmin Turhan and Rafael Peñaloza

"Using f-SHIN to represent objects: an aid to visual grasping"
Nicola Vitucci, Mario Arrigoni Neri and Giuseppina Gini


For further information, including information on registration,
accommodation, and travel, please refer to the UniDL 2010
and FLoC 2010 web sites:


More information about the dl mailing list