由本体论中介的时间查询的唯一可刻画性与可学习性

从示例中学习数据库查询以及查询由示例唯一刻画，是开发查询构建与解释的自动化支持的重要起点。我们研究近期关于由本体论中介的非时间查询的学习与唯一刻画的结果与技术能在多大程度上推广到时间数据与查询。基于对非时间情形下相关方法的系统性回顾，我们获得了通用迁移结果，确定了由非时间查询组合而成的时间查询在何种条件下是（多项式）可学习且可唯一刻画的。