通往表达性查询的粘性路径：存在规则下导航查询的可判定性

基于本体的查询应答领域的广泛研究已识别出众多存在规则（也称为元组生成依赖）的片段，这些片段展现出原子查询和合取查询的可判定应答。受导航查询在理论和实践上日益增长的兴趣所驱动，本文探讨了对于这些片段中的哪些，查询的可判定性可以扩展到正则路径查询（RPQ）。事实上，最近已证明，对于所有保证通用模型具有合理良好形状（即具有有限团宽）的片段这一综合家族，RPQ 的可判定性普遍成立。然而，对于第二个主要片段家族，即基于一阶可重写性的有限合一集（简称：fus），相应的结果至今在很大程度上仍不明确。我们通过证明在任意 fus 规则集上的 RPQ 应答是不可判定的，从而完善了整体图景。在积极方面，我们确立了该问题对于 fus 的一个突出子类——粘性规则集是可判定的，但需注意，对 RPQ 形式的一个非常轻微的扩展会再次使该问题变得不可判定。