SPARQL-OWL中本体能力问题及其形式化分析-研究论文

能力问题 (CQ) 是自然语言问题，概述和限制本体中表示的知识范围。 尽管 CQ 是几种本体工程方法的一部分，但可用本体的 CQ 的实际发布非常有限，甚至就例如 SPARQL 查询而言，它们各自的形式化的发布更为稀缺。 本文旨在解决在本体开发中使用 CQ 的无数工程障碍。 一个先决条件是理解 CQ 和本体查询之间的关系。 我们使用一个包含 234 个能力问题的新数据集及其 SPARQL-OWL 查询，用于不同组开发的不同域中的几个本体，并以两种主要方式分析 CQ。 第一阶段侧重于自然语言文本本身的语言分析，即没有任何本体元素预设的词汇句法分析，以及随后的语义分析步骤，以发现模式。 CQ 源多样性的增加导致迄今为止已发布的模式增加了 4-5 倍，达到 106 个不同的 CQ 模式，这些模式具有在来自不同本体的 CQ 集合中共享的少数模式的有限子集。 接下来，我们分析了发现的 CQ 模式与它们各自的 SPARQL-OWL 模式之间的关系，发现一个 CQ 模式可以通过多个 SPARQL-OWL 查询模式来实现，反之亦然。 这些见解可能有助于建立支持 CQ 制定、形式化、执行和一般管理的通用实践、模板、自动化和用户工具。