关于描述逻辑概念的示例力量与局限性

标记示例（即正例和负例）是传递复杂概念的吸引人方式。它们在派生概念表达式（如概念学习、交互式概念规范和概念细化）方面有用，以及在向用户或领域专家说明概念表达式方面有用。我们研究了标记示例在描述描述逻辑概念方面的力量。具体而言，我们系统性地研究了在EL和ALCQI之间的各种描述逻辑中，无本体及存在DL-Lite本体时，有限字符化（即唯一唯一确定单个概念的有限标记示例集合）的存在性与高效可计算性。有限字符化对于调试目的至关重要，其存在性是使用成员查询进行精确可学习性的必要条件。