本体中介查询中从连接查询到实例查询

本体中介查询中的连接查询到实例查询

克里斯蒂娜·费尔、卡斯滕·卢茨、弗兰克·沃尔特

第二十七届国际人工智能联合会议记录
正线。第1810-1816页。https://doi.org/10.24963/ijcai.2018/250
我们考虑基于ALC家族的表达描述逻辑和联合查询的本体中介查询（OMQ），研究基于实例查询（IQ）的OMQ的可重写性。我们的结果包括了这种重写何时可能的精确特征，以及决定可重写性的严格复杂性边界。我们还为确定给定MMSNP语句（换句话说：一元析取数据日志程序的补码）是否等价于约束满足问题的相关问题给出了严格的复杂性界限。
关键词：
知识表示与推理：描述逻辑与本体论
多学科主题与应用：数据库