Which Kind of Module Should I Extract?

Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the module, the complexity of its computation, and certain robustness properties. In this paper, we survey existing logic-based approaches, focus on syntactic approximations, and compare different kinds of modules with respect to their properties. This is intended to give guidelines on how to choose "the right kind of module".

• Type: Conference
• Year: 2009
• Where: DLOG
• Authors: Ulrike Sattler, Thomas Schneider 0002, Michael Zakharyaschev
• Keywords: Automated Reasoning, Certain Robustness Properties, DLOG 2009, Syntactic Approximations, Various Techniques