超越SQ且在传递角色上带数量限制的有穷与无限制查询蕴涵
计算机科学中的逻辑
2020-10-23 v1 人工智能
摘要
我们研究可应用于传递角色的数量限制描述逻辑 SQ，并分别扩展以个体名或逆角色。我们给出了两种扩展在正则路径查询无限制蕴涵上以及带个体名的正存在查询有穷蕴涵上的紧 2EXPTIME 上界。对于逆角色，我们确立了在实例查询的无限制与有穷蕴涵（后者限制于单一传递角色）上的 2EXPTIME 完备性。
引用
@article{arxiv.2010.11503,
title = {On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles},
author = {Thomas Gogacz and Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García and Jean Christoph Jung and Filip Murlak},
journal= {arXiv preprint arXiv:2010.11503},
year = {2020}
}
备注
Full version of a paper accepted at IJCAI'19