有限值模糊本体上的模糊合取查询应答

模糊描述逻辑（DLs）提供了一种表示关于应用领域的模糊知识的方式。在本文中，我们研究了基于有限真值链的 DL $\mathcal{SROIQ}$ 上合取查询（CQs）的模糊扩展。为了回答此类查询，我们扩展了一种将模糊本体归约为经典本体的知名技术，并使用经典 DL 推理机作为黑盒。我们改进了先前针对有限值模糊 DLs 的归约技术的复杂度，这使我们能够证明回答某些类型模糊 CQs 的紧复杂度结果。最后我们通过一个原型实现的实验评估作结，展示了我们方法的可行性。