- From: Thomas Lukasiewicz <Thomas.Lukasiewicz@kr.tuwien.ac.at>
- Date: Thu, 08 Apr 2010 00:11:22 +0100
- To: semantic-web@w3.org
------------------------------------------------------------------- Final Call for Papers New submission deadline: 11. of April ------------------------------------------------------------------- UniDL'10 First International Workshop on Uncertainty in Description Logics co-located with IJCAR 2010 at FLoC 2010 July 20, 2010 Edinburgh, UK http://lat.inf.tu-dresden.de/UniDL ------------------------------------------------------------------- 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 uncertainty. SPONSOR UniDL is sponsored by the Artificial Intelligence Journal (AIJ) INVITED SPEAKER Ralf Moeller, Hamburg University of Technology TOPICS OF INTEREST include but are not limited to: * Modeling of uncertain knowledge in DLs * Different formalisations of uncertainty for DLs * Formal semantics for uncertain information in DLs * Extensions of DL reasoning problems to uncertainty * Reasoning algorithms for DLs with uncertainty, in particular * Tableau algorithms for probabilistic DLs or fuzzy DLs * Tractable DLs with uncertainty * Complexity of uncertain reasoning * System descriptions for implemented reasoning algorithms in uncertain DLs * Novel applications of DLs with uncertainty * Open and future problems IMPORTANT DATES: *New* submission deadline: April 11, 2010 Notification: April 29, 2010 Final version: May 18, 2010 Workshop: July 20, 2010 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 10 pages, - system descriptions not exceeding 6 pages, or - position papers on work in progress not exceeding 3 pages in LNCS. Submissions are via EasyChair at http://www.easychair.org/conferences/?conf=unidl10 . The workshop prceedings will be published as CEUR proceedings. We adopt the same double submission policy as the DL workshop, that is, we also welcome submissions of papers that have recently been published at other conferences and workshops (e.g., KR, AAAI, ECAI, DL, and URSW). WORKSHOP CHAIRS: - Thomas Lukasiewicz, Oxford University, UK - Rafael Penaloza, TU Dresden, Germany - Anni-Yasmin Turhan, TU Dresden, Germany PROGRAM COMMITTEE: - Eyal Amir, University of Illinois, Urbana-Champaign - Fernando Bobillo, University of Zaragoza - Simona Colucci, Technical University of Bari - Fabio G. Cozman, University of Sao Paulo - Manfred Jaeger, Aalborg University - Pavel Klinov, University of Manchester - Ralf Moeller, Hamburg University of Technology - Mathias Niepert, University of Mannheim - Stefan Schlobach, Vrije Universiteit Amsterdam - Luciano Serafini, IRS Trento - Giorgos Stoilos, Oxford University - Umberto Straccia, ISTI-CNR - Guilin Qi, Southeast University, China
Received on Wednesday, 7 April 2010 23:12:03 UTC