资源分类
》 资源 》论文》On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

2019-09-29 | |  47 |   32 |   0
Abstract 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 fi- nite entailment of instance queries (the latter under restriction to a single, transitive role).

上一篇：Oblivious and Semi-Oblivious Boundedness for Existential Rules

下一篇：Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...