Formal Properties of Modularisation

DMCA

Formal Properties of Modularisation

Cached

Download Links

by Boris Konev , Carsten Lutz , Dirk Walther , Frank Wolter

Citations:

14 - 5 self

BibTeX

@MISC{Konev_formalproperties,
    author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
    title = {Formal Properties of Modularisation},
    year = {}
}

OpenURL

Abstract

Summary. 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. 1

Keyphrases

formal property active research field robust notion classical predicate logic many different notion description logic fundamental principle uniform interpolation well-known concept modular software specification

DMCA