KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Properties of Module Notions and Atomic Decomposition

  1. Robin Nolte(University of Bremen)
  2. Thomas Schneider(University of Bremen)


  1. Computational aspects of knowledge representation
  2. Description logics


Various properties of ontology modules have been studied, such as coverage, self-containment, depletingness, monotonicity, preservation of justifications. These properties are important from a theoretical and practical point of view because they ensure, e.g., that modules have meaningful interfaces, can be used for ontology debugging, or are suitable for computing a meaningful modular structure of an ontology, such as via atomic decomposition (AD). Given one of the many existing module notions, it is not always obvious whether it satisfies a given property, particularly when the module extraction procedure is based on normalization. We investigate several module properties from an abstract point of view with an emphasis on properties relevant for AD. We examine their

interrelations, their relation with iterated module extraction, their preservation in normalization-based module notions, and the adjustment of the latter to the requirements of AD. As a case study, we apply our results to modules based on Datalog reasoning (DBMs), which comprise a large family of normalization-based module notions that provide logical guarantees of varying strengths and are thus suitable to a wide range of use cases. This makes DBMs ready to be used for AD and thereby opens AD to new applications.