适量：从本体中提取模块

从本体中提取有意义片段的能力是本体重用的关键。我们提出了一个模的定义，它保证完全捕获给定术语集的含义，即包括与这些术语含义相关的所有公理，并研究了提取最小模的问题。我们表明，确定本体的子集是否是给定词汇表的模块的问题是不可判定的，即使对于OWL DL的非常有限的子语言也是如此。因此，我们提出了两个“近似值”，即词汇表中模块的替代定义，这些定义仍然提供了上述保证，但可能过于严格，从而可能导致更大的模块：第一个近似值是语义的，可以使用现有的DL推理器计算；第二种是句法的，可以用多项式时间计算。最后，我们报告了对我们的句法近似的实证评估，这表明我们提取的模块非常小。