Semantic Modularity and Module Extraction in Description Logics

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

Download

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Semantic Modularity and Module Extraction in Description Logics
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 55-59, 2008. IOS Press

Details
Bibtex

KurzfassungAbstract
The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We define two notions of a module whose independence is formalized in a model-theoretic way. Focusing mainly on the DLs EL and ALC, we the develop algorithms for module extraction, for checking whether a part of a terminology is a module, and for a number of related problems. We also analyse the complexity of these problems, which ranges from tractable to undecidable. Finally, we provide an experimental evaluation of our module extraction algorithms based on the large-scale terminology SNOMED CT.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ Konev-Lutz-Walther-Wolter-ECAI08,
  author = {Boris {Konev} and Carsten {Lutz} and Dirk {Walther} and Frank {Wolter}},
  booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI08})},
  editor = {Malik {Ghallab} and Constantine D. {Spyropoulos} and Nikos {Fakotakis} and Nikos {Avouris}},
  pages = {55--59},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  title = {Semantic Modularity and Module Extraction in Description Logics},
  volume = {178},
  year = {2008},
}