-------- Original Message -------- Subject: [computational.science] ***DEADLINE EXTENDED*** UniDL'12: Call for Papers Date: Mon, 23 Apr 2012 02:07:11 +0100 From: Thomas Lukasiewicz lukasiew@gmail.com Reply-To: Thomas.Lukasiewicz@cs.ox.ac.uk Organization: "ICCSA" To: Computational Science Mailing List computational.science@lists.iccsa.org
With apologies for cross-posting.
***The submission deadline has been extended to May 7***
------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------
UniDL'12 Second International Workshop on Uncertainty in Description Logics co-located with IJCAR 2012
June 30, 2012
Manchester, UK
http://lat.inf.tu-dresden.de/UniDL12 -------------------------------------------------------------------
During the recent decade, handling uncertainty and vagueness 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 this workshop is how to deal with uncertainty and imprecision in DLs. This encompasses approaches that enable probabilistic, fuzzy or rough reasoning in DLs. Other approaches to model and reason with uncertainty formalisms are of interest to UniDL as well.
The workshop focuses on the investigation of reasoning problems and approaches for solving them -- especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are not yet as well-investigated as for DLs without uncertainty. For novel DL reasoning services, such as query answering, computation of generalizations, computation of modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty. The workshop is dedicated to discuss such issues.
SPONSOR
UniDL is sponsored by the Artificial Intelligence Journal (AIJ).
INVITED SPEAKER
Carsten Lutz - University of Bremen, Germany
TOPICS OF INTEREST
include but are not limited to:
* Modeling of uncertain information in DLs * Different formalizations of uncertainty for DLs * Formal semantics for uncertain information in DLs * Extensions of DL reasoning problems to uncertainty * Reasoning algorithms for DLs with uncertainty or vagueness * Tableau algorithms for probabilistic, fuzzy or rough 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:
Submission deadline: ***May 7, 2012*** Notification: June 1, 2012 Final version: June 8, 2012 Workshop: June 30, 2012
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=unidl12 . The workshop proceedings will be published as CEUR proceedings.
We adopt the same double submission policy as the DL workshop; that is, we welcome submissions of papers that have recently published at other conferences (e.g., KR, AAAI, etc).
WORKSHOP CHAIRS:
- Thomas Lukasiewicz, Oxford University, UK - Rafael Peñaloza, TU Dresden, Germany - Anni-Yasmin Turhan, TU Dresden, Germany
PROGRAM COMMITTEE:
- Fernando Bobillo, University of Zaragoza - Fabio G. Cozman, University of Sao Paulo - C. Maria Keet, University of KwaZulu-Natal - Pavel Klinov, University of Arizona, Clark and Parsia LLC - Carsten Lutz, University of Bremen - Ralf Moeller, Hamburg University of Technology - Mathias Niepert, University of Mannheim - Bijan Parsia, University of Manchester - Dirk Pattinson, Imperial College London - Stefan Schlobach, Vrije Universiteit Amsterdam - Giorgos Stoilos, Oxford University - Umberto Straccia, ISTI-CNR