[DL] DL 2016: Preliminary Call for Papers

Penaloza Nyssen Rafael Rafael.Penaloza at unibz.it
Fri Nov 20 16:29:16 CET 2015


DL 2016: the 29th International Workshop on Description Logics, DL 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, 2015.


Important Dates
===============
Paper registration deadline: January 17, 2016
Paper submission deadline: January 24, 2016
Notification of acceptance: March 4, 2016
Camera-ready copies: March 25, 2016
Workshop: April 22-25, 2015


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). 
* 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

*** Full guidelines regarding extended abstracts will be available soon ***


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/




More information about the dl mailing list