[DL] CFP: UniDL 2010

[A.-Y. Turhan]

  Apologies for cross-postings

-------------------------------------------------------------------
                        Call for Papers
-------------------------------------------------------------------

                           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.



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:

Submission deadline: March 25, 2010
        Notification: April 28, 2010
       Final version:   May 26, 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 exceeding these limits will not be
reviewed. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 .


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 Möller,  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