Nowadays, logical theories in guise of ontologies are designed for applications in bioinformatics, medicine, geography, linguistics and other areas. They are often based on expressive description logics (DLs), which are fragments of first-order logic with well-understood and -implemented reasoning problems and procedures.
Given the size of existing ontologies and problems parsing, storing, or reasoning over them, modularity has become important. It is comparable with modularity in software engineering, and is on its way of becoming as well-understood.
In this course, we will provide an overview of the state of the art in modularity for ontologies. The course is meant to be a guide to the wealth of module notions, their properties and uses, as well as related concepts.