研究标签样本能否唯一定义描述逻辑概念，揭示其能力与局限。
On the Power and Limitations of Examples for Description Logic Concepts
- 用正负样本构造有限唯一表征，验证概念可被精确刻画
- 在多种描述逻辑中证明有限表征存在性及计算可行性
- 适用于概念学习、调试和交互式概念定义场景
有标签的示例（正例与反例）是传达复杂概念的有效方式，可用于推导概念表达式（如概念学习、交互式概念定义与概念精炼），也可向用户或领域专家展示概念。本文系统研究了有标签示例在描述逻辑概念描述中的能力。具体而言，我们考察了在从EL到ALCQI的广泛描述逻辑体系下，有限表征（即能唯一确定一个概念的有限有标签示例集）的存在性与高效可计算性，既无本体的情形，也包括存在DL-Lite本体的情形。有限表征对调试至关重要，且是通过成员查询实现精确学习的必要条件。
原文摘要 · Abstract (English)
Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in concept learning, interactive concept specification, and concept refinement) as well as for illustrating concept expressions to a user or domain expert. We investigate the power of labeled examples for describing description-logic concepts. Specifically, we systematically study the existence and efficient computability of finite characterisations, i.e. finite sets of labeled examples that uniquely characterize a single concept, for a wide variety of description logics between EL and ALCQI, both without an ontology and in the presence of a DL-Lite ontology. Finite characterisations are relevant for debugging purposes, and their existence is a necessary condition for exact learnability with membership queries.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。