本研究提出了一种高效的符号搜索框架，旨在从不完整知识图谱中检索复杂逻辑公式。通过约束策略和局部搜索算法，显著降低了数据复杂性和查询的NP复杂性，计算负载减少90%，性能几乎保持不变。