Logic List Mailing Archive

CfP special issue of German J of AI on Ontologies, Deadline: 31 Oct 2019 or 30 Nov 2019

SPECIAL ISSUE ON ONTOLOGIES AND DATA MANAGEMENT
(German Journal of Artificial Intelligence (KI))
https://link.springer.com/journal/13218
CALL FOR CONTRIBUTIONS

The German Journal of Artificial Intelligence (KI ? Künstliche 
Intelligenz) plans a special issue on Ontologies and Data Management 
(ODM), which will provide an opportunity to attract the attention of the 
broader audience to research on reasoning in the presence of possibly 
large / heterogeneous / incomplete data. The special issue is envisioned 
to feature technical contributions, system descriptions, reports on 
current or recent projects, and PhD or habilitation theses.

*SCOPE

We invite contributions on all aspects of ontologies and data management 
that are accessible to a broad audience, including but not limited to:

- Query answering: standard semantics, bag semantics, 
inconsistency-tolerant semantics

- Further inference tasks in the presence of data: learning, 
materialization, non-monotonic reasoning

- Decidability and complexity analyses

- Ontology languages and extensions: description logics (DLs), rule-based 
languages, first-order logic

- Combinations of ontology languages with other formalisms such as 
temporal logic, probabilities, action formalisms

- Applications related to ODM

- Systems and tools related to ODM

*GUEST EDITORS: Thomas Schneider (thomas.schneider@uni-bremen.de) and 
Mantas ?imkus (simkus@dbai.tuwien.ac.at)

*SUBMISSION TYPES

We invite the following types of contributions (recommended page numbers 
refer to the two-column Springer style, which can be found at 
https://www.springer.com/computer/ai/journal/13218?detailsPage=pltci_1060171 
under the field ?Text?):

- technical papers (6-10 pages)

- system descriptions (4-6 pages)

- project reports (4-6 pages)

- abstracts of PhD or habilitation theses (2-4 pages)

- discussions (personal opinions about topics relevant to ODM with the 
intent to start, continue, or complete discussions; 4-8 pages)

*IMPORTANT DATES Submissions due 31 October, 2019 (technical papers); 30 
November, 2019 (remaining types of submissions)

Notification Early January, 2020

Final versions due 25 January, 2020

*SUBMISSION

Please contact the guest editors for more information regarding the 
submission system.

*ABOUT THE KI JOURNAL

The Scientific journal ?KI ? Künstliche Intelligenz? is the official 
journal of the division for artificial intelligence within the 
"Gesellschaft für Informatik e.V." (GI) ? the German Informatics Society ? 
with contributions from throughout the field of artificial intelligence. 
The journal presents all relevant aspects of artificial intelligence ? the 
fundamentals and tools, their use and adaptation for scientific purposes, 
and applications which are implemented using AI methods ? and thus 
provides the reader with the latest developments in and well-founded 
background information on all relevant aspects of artificial intelligence. 
For all members of the AI community the journal provides quick access to 
current topics in the field and promotes vital interdisciplinary 
interchange.
--
[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