标签
本文研究了在具有线性和守卫存在规则的知识库上回答双向（合取）正则路径查询的复杂度，在数据和组合复杂度方面建立了完备性结果。
本文研究了面向描述逻辑本体且具有认知依赖策略的受控查询评估（CQE），引入了一种基于最小策略违反的新语义，该语义为DL-Lite本体实现了多项式时间查询回答。