论文标题
关于描述逻辑中非本地查询的有限要求
On Finite Entailment of Non-Local Queries in Description Logics
论文作者
论文摘要
我们研究了本体论介导的查询有限的问题。除了本地查询之外，我们允许在角色上及时关闭。我们专注于描述逻辑Alcoi和Alcoq中提出的本体论，并随着传递关闭而扩展。对于这两种逻辑，我们都显示了2期的上限，用于有限的结合查询工会具有传递性闭合。我们还通过表明ALC中具有传递性闭合的连接性查询的有限结合的有限要求为2Exptime-HARD，我们还提供了匹配的下限。
We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME-hard.
