Hugging Face Trending Papers

Reasoning-supported Robustness Validation of Automotive E/E Components

arXiv AI
Sep 25

Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders

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.

By Stefan Bischof, Juliana Kainz, Danilo Valerio
arXiv AI
Jun 24

When CQs Go Wrong: Challenges in CQ Verification with OE-Assist

arXiv:2606. 24619v1 Announce Type: new Abstract: Competency Questions (CQs) are the central component of CQ-verification, an established process in which an ontology is evaluated against a set of natural language questions to determine whether the intended purpose of the ontology has been properly modelled.

By Anna Sofia Lippolis, Mohammad Javad Saeedizade, Robin Keskis\"arkk\"a, Aldo Gangemi, Eva Blomqvist, Andrea Giovanni Nuzzolese
Hugging Face Trending Papers
Aug 12

Constructing Dynamic Master Logic Models as Knowledge Graphs for Complex System Diagnostics Using Retrieval-Augmented Large Language Models

Dynamic Master Logic (DML) provides a hierarchical framework for representing system behavior by linking functional objectives to underlying structural elements. However, DML construction typically relies on expert interpretation of technical documentation, limiting scalability for complex systems.

arXiv Computation and Language
Sep 24

UniDataAgent: An Ontology-Grounded Agent for Enterprise Question-to-Report Automation

UniDataAgent (UniDataAgent) is an ontology‑grounded system designed to automate enterprise question‑to‑report tasks while preserving organization‑specific semantics. It separates semantic acquisition from online execution, with an Ontology Acquisition and Validation (OAV) stage that builds versioned ontologies from metadata, business knowledge, and expert input, and a Question‑to‑Report Execution (QRE) stage that retrieves semantic contracts, coordinates skills and data tools, validates results, and produces evidence‑linked reports. In a deployment across 27 enterprise tables and thousands of metric types, ontology construction took a few hours versus a week manually, and report generation took minutes versus several working days, achieving 95.0% strict accuracy on real business questions compared to 72.5% for document RAG.

By Yutai Duan, Yahui Zhao, Zhangti Li, Yu Ma, Zhenfeng Qi, Shaoyang Yuan, Jing Fan, Jie Liu