将个体名引入 EL 的联合查询回答方法
人工智能
2013-04-02 v2 数据库
计算机科学中的逻辑
摘要
所谓的联合方法分三步回答描述逻辑本体上的合取查询：首先，物化本体和数据的某些推论；其次，在数据上评估查询；第三，过滤第二阶段的结果以消除不可靠的回答。这类方法是为 DL-Lite 和 EL 语言族的各种成员开发的，但它们都不能处理包含个体名的本体。在我们的工作中，我们弥补了这一空白，提出了一种针对 ELHO 的联合查询回答方法——ELHO 是一种包含 OWL 2 EL 标准除传递角色和复杂角色包含之外所有特征的逻辑。这一扩展并非平凡，因为个体名需要等式推理，这给第一步和第三步引入了复杂性。我们的实证评估表明，我们的技术适用于实际应用，因此为 OWL 2 EL 的一个大型片段中的合取查询回答提供了实用基础。
引用
@article{arxiv.1303.7430,
title = {Introducing Nominals to the Combined Query Answering Approaches for EL},
author = {Giorgio Stefanoni and Boris Motik and Ian Horrocks},
journal= {arXiv preprint arXiv:1303.7430},
year = {2013}
}
备注
Extended version of a paper to appear on AAAI-13