conftrace_

transitive role

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

query entailment (1) finite entailment (1) regular path queries (1) description logic (1) computational complexity (1)

Papers

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