Jul, 2023

时态知识库的最佳对齐

TL;DR通过实现基于本体的情境识别技术,回答时间相关的 CQs 是一种实现本体的主要技术;本文介绍了 TKB 对准问题,计算一个变体的 TKB,该 TKB 最小程度地改变原 TKB,但能推出给定的时间 CQ,且在这个意义上是(代价)最优的;我们研究了这个问题在 ALC TKBs 和带有 LTL 运算符的连同查询上的情况,并设计了一种解决方案技术,用于计算 TKBs 的(代价最优的)对准。