arXiv Artificial Intelligence· Hui Yang, Jiaoyan Chen, Yiping Song, Renate Schmidt, Wen Zhang·2026-10-20 12:00· 3 小时前AI 评分26

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

NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning

AI 导读

NeurOWL 是端到端神经符号框架，联合执行验证与溯因，处理不完整 OWL 本体中的包含推理问题。该任务要求判断候选（非蕴含）包含关系是否语义合理，并给出含潜在缺失公理的可解释说明，且无需预定义缺失公理候选集。框架结合形式语义与 LLM、本体嵌入提供的文本语义，在多个领域真实本体上评测表现稳健。