cs.AISep 24, 2026

Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders

Authors: Stefan Bischof, Juliana Kainz, Danilo Valerio

Organizations: Siemens AG Österreich, Vienna, Austria

Abstract

Neurosymbolic research typically assumes a pre-existing symbolic specification, leaving the upstream challenge of acquiring and formalizing requirements and constraints largely unaddressed. We present an architecture that fills this gap by using an OWL configuration ontology to mediate between neural constraint sources and downstream consumers. In this framework, LLM assistants elicit soft stakeholder preferences, while hardware specifications define hard physical and engineering limits. The ontology unifies these heterogeneous inputs, leverages description logic to identify unsatisfiability, and generates symbolic explanations that enable LLMs to interactively renegotiate terms with users. Any remaining conflicts are resolved downstream via priority-based relaxation. We illustrate our approach on a microgrid use case from the FLEXI project and argue its generalizability to multi-stakeholder domains where constraint acquisition is distributed across human and automated sources of unequal authority.

Explore similar work

CardsList
  1. Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach

    Sep 14, 2026Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1Neuro-Symbolic FrameworkConstraint Satisfaction

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

    Jul 17, 2026Hui Yang, Jiaoyan Chen, Yiping Song +2OntologyAbductive Reasoning