将描述逻辑本体拟合至 ABox 与查询示例

Maurice Funk; Marvin Grosser; Carsten Lutz

将描述逻辑本体拟合至 ABox 与查询示例

人工智能 2025-08-18 v2 计算机科学中的逻辑

作者: Maurice Funk , Marvin Grosser , Carsten Lutz

摘要

我们研究了一个受本体介导查询启发的拟合问题：给定一组形如 $(\mathcal{A},q)$ 的正例与负例，其中 $\mathcal{A}$ 为一个 ABox， $q$ 为一个布尔查询，我们寻求一个本体 $\mathcal{O}$ ，使得对所有正例满足 $\mathcal{A} \cup \mathcal{O} \vDash q$ ，并对所有负例满足 $\mathcal{A} \cup \mathcal{O}\not\vDash q$ 。我们考虑将描述逻辑 $\mathcal{ALC}$ 和 $\mathcal{ALCI}$ 作为本体语言，并考虑包括原子查询 (AQs)、合取查询 (CQs) 及其并集 (UCQs) 在内的一系列查询语言。对于所有产生的拟合问题，我们提供了有效的特征刻画，并确定了判定是否存在拟合本体的计算复杂性。对于 AQs 和完整 CQs，该问题被证明是 ${\scriptsize CO}NP$ 的；对于 CQs 和 UCQs，则是 $2E{\scriptsize XP}T{\scriptsize IME}$ -完全的。这些结果对 $\mathcal{ALC}$ 和 $\mathcal{ALCI}$ 均成立。

关键词

描述逻辑本体本体介导查询 ABox 拟合问题计算复杂性合取查询 ALC ALCI

引用

@article{arxiv.2508.08007,
  title  = {Fitting Description Logic Ontologies to ABox and Query Examples},
  author = {Maurice Funk and Marvin Grosser and Carsten Lutz},
  journal= {arXiv preprint arXiv:2508.08007},
  year   = {2025}
}

备注

Submitted to the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR2025), 23 pages

将描述逻辑本体拟合至 ABox 与查询示例

摘要

关键词

引用

备注

相关论文