本体中介的神经符号约束获取：面向多利益相关方

神经符号研究通常假定符号规范已预先存在，使需求与约束的获取和形式化这一上游挑战基本未被解决。我们提出一种填补这一空白的架构，使用OWL配置本体在神经约束源与下游消费者之间进行中介。在此框架中，LLM助手引出利益相关方的软偏好，而硬件规范定义硬性的物理与工程限制。本体统一这些异构输入，利用描述逻辑识别不可满足性，并生成符号解释，使LLM能够与用户交互式地重新协商条款。剩余冲突通过基于优先级的松弛在下游解决。我们以FLEXI项目中的一个微电网用例说明该方法，并论证其可推广到约束获取分布于权威不等的人类与自动来源的多利益相关方领域。