The paper introduces an architecture that bridges the gap between neural constraint sources and symbolic consumers by employing an OWL configuration ontology. It combines soft stakeholder preferences elicited by LLM assistants with hard hardware specifications, using description logic to detect unsatisfiability and produce symbolic explanations for interactive renegotiation. Remaining conflicts are addressed downstream through priority-based relaxation, demonstrated on a microgrid use case and positioned as broadly applicable to multi‑stakeholder domains.
arXiv:2607. 15776v1 Announce Type: new Abstract: OWL ontologies provide a formal knowledge representation framework that enables semantic reasoning, and have been widely adopted across domains such as healthcare and bioinformatics.
arXiv:2604. 00555v5 Announce Type: replace Abstract: Enterprise adoption of Large Language Models (LLMs) is constrained by hallucination, domain drift, and the inability to enforce regulatory compliance at the reasoning level.
The paper "Neuro-symbolic AI for Industrial Configuration" discusses how Large Language Models (LLMs) fall short for industrial product configuration due to their probabilistic nature, which conflicts with the need for syntactically valid, semantically consistent outputs that align with extensive feature and rule knowledge bases. It proposes Neuro-symbolic (NeSy) AI as a promising solution, outlining three integration strategies—hybrid inference, hybrid fine‑tuning, and hybrid training—and presents a taxonomy of these approaches. The authors describe their efforts to implement a NeSy-based configuration copilot, derive practical design choices for trustworthy AI deployment in engineering settings, and highlight key research challenges, especially scaling NeSy methods from academic prototypes to full‑scale industrial configurators.
arXiv:2608. 16421v1 Announce Type: new Abstract: This paper presents an ontology-supported approach to tackle the complexity of the Robustness Validation (RV) process of automotive electrical/electronic (E/E) components.
This paper presents an ontology-supported approach to tackle the complexity of the Robustness Validation (RV) process of automotive electrical/electronic (E/E) components. The approach uses formalized...
arXiv:2606. 13405v1 Announce Type: new Abstract: LLM-based agents are entering regulated industries where they automate judgment intensive quality management processes.
arXiv:2607. 26220v1 Announce Type: cross Abstract: Context: Large Language Models (LLMs) offer natural-language flexibility for automated requirements elicitation but frequently generate structurally invalid requirements and logical inconsistencies, lacking formal correctness guarantees.
arXiv:2610.01519v1 Announce Type: cross Abstract: Neuro-Symbolic (NeSy) predictors incorporate prior knowledge into the prediction process of neural networks, ensuring that outputs satisfy specified...
The paper introduces SymbolLKG, a neuro-symbolic framework that combines a Logical Knowledge Graph (LKG) with dynamic solver routing to improve logical reasoning in large language models. The LKG represents logical rules and constraints as topological nodes, enabling explicit modeling of dependencies extracted from text. A Logic Router dispatches tasks to the most suitable symbolic engine, supported by a topology-aware hybrid retrieval mechanism, and the approach outperforms existing prompting and RAG baselines on logical reasoning benchmarks.
Context: Large Language Models (LLMs) offer natural-language flexibility for automated requirements elicitation but frequently generate structurally invalid requirements and logical inconsistencies, lacking formal correctness guarantees. Objectives: This study aims to eliminate logical inconsistencies and enforce structural conformance in LLM-generated requirements while quantifying the LLM's pre-validation decision uncertainty within a formal domain model.
arXiv:2606. 04505v1 Announce Type: new Abstract: Scientific simulators are increasingly being integrated into LLM-driven systems for high-stakes simulation-driven decision-making.
The OWL 2 EL profile is used in some of the largest production ontologies, including the Gene Ontology and SNOMED CT. Existing neuro-symbolic (NeSy) learning methods accept propositional theories or Datalog, and reasoning-shortcut (RS) awareness has not been investigated in ontology settings.