时间知识图谱的冲突检测：一种快速约束挖掘算法和新的基准测试

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