- From: Penaloza Nyssen Rafael <Rafael.Penaloza@unibz.it>
- Date: Wed, 3 Feb 2016 14:22:29 +0000
- To: Penaloza Nyssen Rafael <Rafael.Penaloza@unibz.it>
======================================================================= 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/
Received on Wednesday, 3 February 2016 14:23:03 UTC