arXiv AI

Before Blaming the LLM, Diagnose the Workflow: A Role-Level Difficulty Profile for Translating Natural Language into Ontology-Grounded Statements

arXiv AI
Aug 7

Tytan: Interactive Neurosymbolic Construction of Analytic Semantic Schemas from Relational Data

arXiv:2608. 06331v1 Announce Type: cross Abstract: From natural-language query interfaces to automated report generation, data analysis tools need a description of the data: the real-world entities it contains, which columns function as measures or identifiers, and how tables connect into units of analysis.

By Donna Hooshmand, Shubham Shahi, Cameron Barrie, Abhratanu Dutta, Marko Sterbentz, Harper Pack, Kristian J. Hammond
arXiv AI
Sep 11

Grounded Evaluation and Repair for NL-to-PDDL Problem Generation

The paper presents an end‑to‑end pipeline for translating natural language planning descriptions into PDDL problem instances using large language models. It incorporates multiple checks—syntactic parsing, planner success, domain conformance, an LLM critic, and iterative repair—to ensure faithfulness to the original task. Experiments on Planetarium, AutoPlanBench, and curated PDDL~2.1 problems reveal that operational success can diverge from benchmark‑reference reconstruction, and that structured repair improves outcomes while PDDL~2.1 remains challenging for reference reconstruction.

By Joana Rosa, Pedro Santos, Valdemar Oliveira, Rom\~ao Silva, L. Miguel Silveira, Bruno Martins
Hugging Face Trending Papers
Jul 1

Exploring the Semantic Gap in Agentic Data Systems: A Formative Study of Operationalization Failures in Analytical Workflows

Large language models (LLMs) are increasingly used to generate queries, invoke tools, and construct analytical workflows. Although recent advances have substantially improved workflow generation and execution, the semantic information required to operationalize analytical concepts often lies beyond what is explicitly represented in database schemas and data values.

arXiv AI
Sep 18

Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG

The paper introduces Structured Four-Stage Legal Translation (S4L→Prolog), a reasoning-guided framework that converts raw traffic rules into Prolog logic by performing semantic role extraction, scene completion, logical mapping, and rule generation in a single prompt. Compared to baseline approaches (NL→Prolog and LE→Prolog), S4L achieves higher accuracy—formalizing 75 % of twenty real-world traffic rules versus 60 % and 55 % for the baselines. Qualitative analysis shows S4L better captures implicit causal relations, deontic modality, and exception structures.

By May Myo Zin, Wachara Fungwacharakorn, Ken Satoh, Katsumi Nitta
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
arXiv AI
Oct 27

5W1H+Which: Context-Valid Semantic Indexing with Progressive Ontology Binding

The paper proposes 5W1H+Which, a semantic indexing framework that separates source‑grounded content extraction from progressive ontology binding. It organizes content into independently addressable units based on the 5W1H questions, while the "Which" component records links to versioned ontology elements, mapping relations, applicability scopes, and validation states. The design tracks business‑valid time, system knowledge time, and operational traces to enable revalidation and incremental maintenance, and illustrates its use with cloud migration and temporal policy examples.

By Yaxiao Liu (PwC China AI Center), Pengbo Liu (PwC China AI Center), Yiwen Liu (PwC China AI Center), Yihua Guan (PwC China AI Center), Jiaxing Song (Tsinghua University)