Logic List Mailing Archive

DL 2019: Description Logics

18-21 Jun 2019
Oslo, Norway

-------------------------------------------------------------------------------
                             2nd CALL FOR PAPERS
         32nd International Workshop on Description Logics, DL 2019
                June 18th to June 21st, 2019 - Oslo, Norway
                    http://dl2019.ifi.uio.no/home.html
-------------------------------------------------------------------------------

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 32nd edition will be held in Oslo, Norway from
June 18th to June 21st, 2019.

Important Dates
===============
Paper registration deadline:
  March 22, 2019
Paper submission deadline:
  March 29, 2019
Notification of acceptance:
  May 3, 2019
Camera-ready copies:
  May 24, 2019
Workshop:
  June 18-21, 2019

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, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge,
query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based
programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured
data, graph-structured data, linked data, document management, natural language, learning, planning, Semantic Web, cloud computing, conceptual
modeling, web services, business processes
* Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database
schema design, query optimization, and data integration tools), implementation and optimization techniques, benchmarking, evaluation, modeling


Invited Speakers
================

* Pablo Barceló, Universidad de Chile, Chile
* Meghyn Bienvenu, Université de Bordeaux, France
* Gerhard Lakemeyer, RWTH Aachen, Germany


Submissions
===========
Submissions may be of two types:

(1) We invite regular papers of up to 11 pages. If the authors prefer the paper to not appear in the proceedings, an additional 2-page abstract of the paper has to be submitted (the 2-page abstract would appear in the proceedings, in case of acceptance).

(2) Papers accepted or under review at some other conference can be submitted to the DL workshop. They should be submitted together with a 2-page abstract that also specifies where the paper has been accepted or is under review. Only the 2-page abstract would appear in the proceedings, in case of acceptance.

* The regular papers and the 2-page abstracts must be formatted using the Springer LNCS style. The list of references in these submissions does not count towards the page limit.

* DL 2019 allows (but does not require) submissions to be anonymous, i.e. the PC members and the reviewers will not see the identity of authors in the submission system (EasyChair). If you wish to conceal your identity, please don?t forget to omit it from the PDF file you are submitting.

* The option to publish a 2-page abstract is designed for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior/concurrent publication policy.

* All submissions may optionally include a clearly marked appendix (e.g., with additional proofs or evaluation data). The appendix will be read at the discretion of the reviewers and not included in the proceedings. The appendix does not need to be in LNCS format.

* Accepted regular papers and 2-page abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).

* Accepted submissions, be they regular papers or 2-page abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based on their content, and the type of submission will have no bearing on the decision between oral and poster presentation.

Submission page: https://easychair.org/conferences/?conf=dl2019


Student Support
===============

A limited number of student grants for participating in DL 2019 are available. The grants consist of a fixed amount that can be used to cover travel costs and registration fees.


Organization
============
* Martin Giese, University of Oslo, Norway (general co-chair)
* Mantas Simkus, TU Wien, Austria (program co-chair)
* Arild Waaler, University of Oslo, Norway (general co-chair)
* Grant Weddell, University of Waterloo, Canada (program co-chair)

Resources
=========
* Information about submission, registration, travel information, etc., is
available on the DL 2019 homepage: http://dl2019.ifi.uio.no/home.html
* The official description logic homepage is at http://dl.kr.org/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam