Formal Properties of Modularisation

Boris KonevBoris Konev, Carsten LutzCarsten Lutz, Dirk WaltherDirk Walther, Frank WolterFrank Wolter

Download

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Formal Properties of Modularisation
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNCS, 179-193, 2008. Springer

Details
Bibtex

KurzfassungAbstract
Modularity of ontologies is currently an active research field, and many different notions of a module have been proposed. In this paper, we review the fundamental principles of modularity and identify formal properties that a robust notion of modularity should satisfy. We explore these properties in detail in the contexts of description logic and classical predicate logic and put them into the perspective of well-known concepts from logic and modular software specification such as interpolation, forgetting and uniform interpolation. We also discuss reasoning problems related to modularity.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ KoLuWaWo-ModBook08,
  author = {Boris {Konev} and Carsten {Lutz} and Dirk {Walther} and Frank {Wolter}},
  booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning ({IJCAR2008})},
  editor = {Alessandro {Armando} and Peter {Baumgartner} and Gilles {Dowek}},
  number = {5195},
  pages = {179--193},
  publisher = {Springer},
  series = {LNCS},
  title = {Formal Properties of Modularisation},
  year = {2008},
}