论文标题
在描述具有功能角色的逻辑中的有效答案枚举 - 扩展版本
Efficient Answer Enumeration in Description Logics with Functional Roles -- Extended Version
论文作者
论文摘要
我们研究了本体介导的查询答案的列举，当该本体论在支持功能角色的描述逻辑中提出时，查询是CQ。特别是，我们表明，当CQ的一定延伸（与功能角色有关）是无环且自由连接无环时，可以通过线性预处理和恒定延迟进行枚举。这既有完整的答案和部分答案。我们为查询不自加入的情况提供匹配的下限。
We study the enumeration of answers to ontology-mediated queries when the ontology is formulated in a description logic that supports functional roles and the query is a CQ. In particular, we show that enumeration is possible with linear preprocessing and constant delay when a certain extension of the CQ (pertaining to functional roles) is acyclic and free-connex acyclic. This holds both for complete answers and for partial answers. We provide matching lower bounds for the case where the query is self-join free.
