通过近似到 RSA 计算 OWL 2 上的合取查询下界
计算机科学中的逻辑
2021-07-02 v1 人工智能
摘要
知识库上的合取查询（CQ）应答是一项重要的推理任务。然而，使用如 OWL 这类表达性强的本体语言时，查询应答在计算上非常昂贵。PAGOdA 系统通过使用易处理推理机计算下界和上界近似来解决此问题，仅当这些边界不重合时才回退到完整的 OWL 推理机。该方法的有效性关键取决于近似的质量，本文中我们探索一种通过 RSA（一种涵盖所有 OWL 2 profile 且仍保持易处理性的本体语言）计算更紧密近似的技术。我们提出一种将 OWL 2 本体近似到 RSA 的新方法，以及一种使用 RSA 组合方法计算比 PAGOdA 更紧密下界近似的算法。我们在原型 CQ 应答系统中实现了这些算法，并给出了系统的初步评估，显示相对于 PAGOdA 的显著性能提升。
引用
@article{arxiv.2107.00369,
title = {Computing CQ lower-bounds over OWL 2 through approximation to RSA},
author = {Federico Igne and Stefano Germano and Ian Horrocks},
journal= {arXiv preprint arXiv:2107.00369},
year = {2021}
}
备注
26 pages, 1 figure