论文标题
在有限和不受限制的查询中，超出了SQ，并具有对及物角色的数字限制
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
论文作者
论文摘要
我们研究了描述逻辑SQ，其数量限制适用于及物角色，并以名义或反向作用扩展。我们展示了紧密的2期限上限，用于不受限制地需要定期查询，以供名称的延伸和有限的积极存在查询。对于倒置，我们为实例查询的无限制和有限的需要建立了2段 - 完整性（后者限制为单个传递性作用）。
We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for unrestricted entailment of regular path queries for both extensions and finite entailment of positive existential queries for nominals. For inverses, we establish 2EXPTIME-completeness for unrestricted and finite entailment of instance queries (the latter under restriction to a single, transitive role).
