existential-rules

本文研究了在具有线性和守卫存在规则的知识库上回答双向（合取）正则路径查询的复杂度，在数据和组合复杂度方面建立了完备性结果。