松散守护片段的判定及其Horn片段基于归结的查询
计算机科学中的逻辑
2020-01-14 v1 数据库
摘要
我们考虑如下查询应答问题：给定布尔合取查询与Horn松散守护片段中的理论，目标是判定该查询是否被理论所蕴含。本文给出松散守护片段的归结判定过程，并借此过程对Horn松散守护片段应答布尔合取查询。Horn松散守护片段包含了基于本体的查询应答中盛行的若干规则类，如Horn ALCHOI与守护存在规则。此外，我们识别出星查询与云查询，利用我们的过程可针对松散守护片段应答此类查询。
引用
@article{arxiv.2001.03829,
title = {Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution},
author = {Sen Zheng and Renate A. Schmidt},
journal= {arXiv preprint arXiv:2001.03829},
year = {2020}
}