key: cord-0807046-6bj4nvvo authors: Schneider, Thomas; Šimkus, Mantas title: Special Issue on Ontologies and Data Management: Part I date: 2020-09-16 journal: Kunstliche Intell (Oldenbourg) DOI: 10.1007/s13218-020-00682-7 sha: 149e82a66c33e5949f70a7ac3e6523fe55336a32 doc_id: 807046 cord_uid: 6bj4nvvo nan Modern information systems rely on a large amount of data that is often unstructured, heterogeneous, and/or incomplete. In order to align and complete data, these systems often use ontologies for representing taxonomies and background knowledge. Ontologies have been used in the Knowledge Representation (KR) subfield of Artificial Intelligence (AI) since the 1970s. They have various applications in (bio) medicine, the life sciences, linguistics, the geo-sciences, and the semantic web. Systems that use ontologies do not only access the represented knowledge, but also draw inferences, a process known as automated reasoning. Among existing ontology languages, the family of description logics (DLs) plays an important role because DLs usually provide a good balance between expressive power and decidability/complexity of the various reasoning tasks, also and especially those tasks relevant for data access. The standardized ontology language OWL 2 recommended by the World Wide Web Consortium (W3C) is based on DLs. However, there are further suitable ontology languages, such as existential rules. The title of this double special issue, Ontologies and Data Management, refers to a wide research landscape that stretches over various topics from knowledge representation and reasoning. This landscape includes theory and applications, and connects with the database "world". The research areas covered in both parts of this special issue include ontologies, ontology languages, modelling support, reasoning systems, reasoning problems and ontology-based data access, and these research areas are highly active. This special issue gives evidence to this, as it presents a broad collection of current work on topics from these areas. Most of the contributions are related to ontologies written in OWL and research on DLs. The vastness of the research landscape is reflected by the diversity of contributions in this and the next part of the special issue. A lot of people have put very significant efforts into making this special issue a reality, and we sincerely thank them. Everybody involved was and still is significantly affected by the COVID-19 crisis that hit the world in the beginning of 2020, which makes the efforts of the authors, the reviewers and all the supporting staff even more precious. We would like to thank all the authors for submitting high quality papers, and also for carefully revising them following suggestions by the reviewers. We also sincerely thank the reviewers for doing an excellent job and providing valuable feedback. Thanks to the authors and the reviewers this special issue is a collection of top quality works! The editors would also like to thank Anni-Yasmin Turhan and the Springer team for helping with all aspects of preparing this special issue. The work of the second guest editor was supported by the Vienna Business Agency, and the Austrian Science Fund (FWF) projects P30360 and P30873. This special issue is divided into two parts (Part I and Part II). In this editorial, we concentrate on the contributions of the first part. The second part will be published in December 2020 (as Issue 4 of Volume 34). In particular, the contributions in Part II will be mostly focused on inconsistency management, non-monotonic reasoning and the involvement of rules in the context of ontologies. The content of Part I is listed in the following section. We next provide a brief overview of those contributions, which are divided into technical contributions [T1-T5], system descriptions [S1-S4], PhD thesis abstracts [A1-A4], project reports [P1-P2] a tool for forgetting and uniform interpolation in expressive DLs, which are reasoning tasks playing a crucial role in enabling ontology reuse, aiding ontology analysis and privacy. The system description [S4] by Manthey et al. presents a system for axiom pinpointing (a reasoning task for explaining inferences from ontologies) in the lightweight DL EL + , which reuses existing highly efficient SAT solving technologies. The PhD thesis abstract [A1] describes the contributions of Bajraktari in the area of query answering in expressive DLs, with the special focus on exploiting the structure of data to improve efficiency. Kriegel describes in [A2] his PhD research into how methods from the area of Formal Concept Analysis can be used to support the construction DL ontologies from data. This work is related to the problem of learning DL ontologies discussed in [T3], which again indicates the existing interest in this area. The abstract [A3] by Marantidis describes his PhD research into (approximate) unification in the DL FL 0 , which is a reasoning task useful for the development and maintenance of ontologies. The PhD thesis abstract [A4] by Nuradiansyah describes his research into the use of DL ontologies for privacy management. Together with [T2] this is a second contribution on privacy, which shows the current importance of this area. The project report [P1] by Homola et al. describes the efforts to obtain higher-order DLs that could become a basis for a higher-order ontology language for the Semantic Web. Such extensions are highly desirable because they drastically improve the expressiveness of ontology languages by, e.g., blurring the distinction between classes and individuals. Finally, the report [P2] by Horsch et al. discusses the use of ontologies for data management in the Horizon 2020 project Virtual Materials Marketplace (VIMMP). The interview [I1] with Uli Sattler gives an insight into her background, her research interests and outcomes, and her personal views on research in description logic and related areas, on the OWL standard, and on possible future developments of knowledge representation and reasoning. Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis: A Dissertation Summary Francesco Kriegel Quantitative Variants of Language Equations and their Applications to Description Logics Pavlos Marantidis Reasoning in Description Logic Ontologies for Privacy Management Adrian Nuradiansyah Towards higher-order OWL Martin Homola Georg Summer, Andreas Fiseni, Hauke Brüning [I1] Interview with Uli Sattler We next provide a list of selected venues, in which research related to the use of ontologies in data management, especially involving automated reasoning, is disseminated. Acknowledgements Open Access funding provided by Projekt DEAL.Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creat iveco mmons .org/licen ses/by/4.0/.