arXiv:2502.09206v1 声明类型: cross 摘要：元建模是指本体中类和角色可以成为类的成员或出现在角色中的情形。在多种应用中，这是一个 desirable 的建模特征，但如果不加以限制地允许这种建模，有几个原因会带来问题，主要是因为它导致了不可判定性。因此，实践中的语言要么明确禁止元建模，要么在语义上将类的出现视为不同于其他出现的实例，从而不从语义上允许元建模。已经提出了多种扩展以部分提供这种元建模。基于早期将元建模查询回答减少为 Datalog 查询回答的工作，最近提出了将查询回答减少到混合知识库查询的回答的方法，目的是仅在必要时使用 Datalog 转换。初步工作表明该方法可行，但尚未观察到期望的性能改进。在这项工作中，我们通过改进这些减少方法的理论基础，并使用具有竞争力性能的替代工具进一步扩展了这项工作。