NeurOWL：面向不完整 OWL 本体推理的基于 LLM 的神经-符号框架

针对现实世界不完整 OWL 本体导致的推理难题，本文提出端到端神经-符号框架 NeurOWL。 该框架利用大语言模型和本体嵌入，结合形式语义与文本语义，统一子集验证与本体溯因任务，无需预定义缺失公理候选集。 实验表明，NeurOWL 在多个领域的真实本体上展示了强劲且鲁棒的性能。