UniDL'12: First Call for Papers

With apologies for cross-posting.

                       Call for Papers

Second International Workshop on Uncertainty in Description Logics
             co-located with IJCAR 2012

                        June 30, 2012

                        Manchester, UK


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.


UniDL is sponsored by the Artificial Intelligence Journal (AIJ).




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


      Submission deadline: April 15, 2012
             Notification: May 18, 2012
            Final version: June 8, 2012
                 Workshop: June 30, 2012


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, ECAI, etc).


- Thomas Lukasiewicz,    Oxford University, UK
- Rafael Peņaloza,       TU Dresden, Germany
- Anni-Yasmin Turhan,    TU Dresden, Germany


- 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

Received on Wednesday, 8 February 2012 22:12:29 UTC