本文研究了本体基础数据查询的不同类别，包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面，首先用不相交的 Datalog 片段来表达了本体中介查询的表达能力。其次，本体中介查询与约束满足问题（CSP）及其逻辑泛化 MMSNP 公式有密切联系。最后，利用这些联系得出了有关本体中介查询的新结果，如 i）本体中介查询的一阶重写和 Datalog 重写，ii）本体中介查询的 P / NP 二分法，以及 iii）本体中介查询的查询包容性问题。