Sciweavers

Share
ECAI
2008
Springer

Semantic Modularity and Module Extraction in Description Logics

9 years 3 days ago
Semantic Modularity and Module Extraction in Description Logics
Abstract. 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 formalised in a model-theoretic way. Focusing mainly on the DLs EL and ALC, we then 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.
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wol
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ECAI
Authors Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Comments (0)
books