[DL] Second Call for Papers - Description Logic Workshop 2016

[Penaloza Nyssen Rafael]

=======================================================================
DL 2016: the 29th International Workshop on Description Logics, DL 2016

	Cape Town, South Africa == April 22-25, 2016
=======================================================================
The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences.

The workshop will be held in Cape Town, South Africa on April 22-25, 2016.


Important Dates
===============
Paper registration deadline: February 7, 2016
Paper submission deadline: February 14, 2016
Notification of acceptance: March 18, 2016
Camera-ready copies: April 4, 2016
Workshop: April 22-25, 2016

*** See submission guidelines below ***


Workshop Scope
=============
We invite contributions on all aspects of description logics, including but not limited to:
* Foundations of description logics: decidability and complexity of reasoning,
  expressive power, novel inference problems, inconsistency management,
  reasoning techniques, query processing techniques, knowledge based modeling
  techniques, knowledge base quality, including modularity, completeness, redundancy,
  etc.
* Extensions of description logics: closed-world and non-monotonic reasoning,
  epistemic reasoning, temporal and spatial reasoning, procedural knowledge,
  query answering, reasoning over dynamic knowledge bases, context-based reasoning
* Integration of description logics with other formalisms: object-oriented
  representation languages, database models, constraint-based
  programming, logic programming, functional programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering,
  ontology languages, data management, ontology-based data access, semi-structured
  data, graph structured data, linked data, document management, natural
  language, learning, planning, Semantic Web, and cloud computing
* Systems and tools around description logics: reasoners, software tools for
  and using description logic reasoning (e.g. ontology editors, database schema
  design, query optimisation, and data integration tools), implementation and
  optimisation techniques, benchmarking, evaluation, modelling


Invited Speakers
================
(to be announced)


Submissions
===========
* Submissions may be either full papers of up to 11 pages (excluding
  references) presenting original research or extended abstracts of at most
  3 pages (excluding references). For the guidelines regarding extended abstracts,
  see below.
* All submissions must be formatted in the Springer LNCS style.
* A clearly marked appendix (e.g., with additional proofs or evaluation data)
  may optionally be appended. It will be read at the discretion of the
  reviewers and not included in the proceedings. It does not need to be in
  LNCS format.
* Accepted papers and extended abstracts will be made available electronically
  in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Submission page: https://easychair.org/conferences/?conf=dl2016

*** Guidelines for Extended Abstracts ***
To guarantee a fair evaluation of 3-page extended abstracts, these *must* be
an accompanying manuscript formatted as a full paper (i.e., 11 pages in LNCS style).
The abstracts will be judged on the basis of the quality of their appendix, and their 
affinity to the content presented.

*** Guidelines for submissions incompatible with double-blind policies ***
Papers under review for a conference with a double-blind submission policy can be submitted anonymously. Reviewers will not be informed of the authors of the submission.


Program Chairs
==============
* Maurizio Lenzerini, Sapienza Università di Roma, Italy 
* Rafael Peñaloza, Free University of Bozen-Bolzano, Italy 


Local Organizers
================
* Thomas Meyer, University of Cape Town and CAIR, South Africa
* Arina Britz, CAIR, South Africa


Resources
=========
* Information about submission, registration, travel information, etc., will be
  available on the DL 2016 homepage: http://dl2016.cs.uct.ac.za/
* Enquiries about the DL 2016 workshop can be made by contacting the
  organising committee.
* The official description logic homepage is at http://dl.kr.org/