arXiv AI

APOLO: Automatic Prompt Optimization for Ontology Learning

arXiv AI
Sep 15

EvoOntology: A Self-Evolving Ontology Layer for Data Agents

EvoOntology introduces a self‑evolving ontology layer for data agents, encapsulating the ontology as an MCP server with schema, content, and tool layers. It enables agents to query and interact with the ontology at runtime, using a builder agent for autonomous construction and a self‑evolution loop that refines the ontology through attribution‑guided edits validated by backbone‑conditional evaluation. Experiments on three data‑agent benchmarks with four LLM backbones show that EvoOntology consistently outperforms strong baselines and existing semantic‑layer approaches, effectively bridging the agent‑data gap for heterogeneous data.

By Meiduo Chong, Shaolei Zhang, Ju Fan, Xiaoyong Du
arXiv AI
Oct 2

LLM-Assisted Discovery of Typed Semantic Links for Ontology Network Construction

The paper presents an automated framework for building ontology networks by discovering typed semantic links between concepts across domains. It uses domain‑adapted DistilBERT embeddings, clustering to prune candidates, and GPT‑4o for generating interpretable relationships, reducing 800k raw pairs to 95k high‑quality candidates. Human validation on 429 links shows an 80.19% precision and 0.890 F1, outperforming five similarity‑based baselines and demonstrating the need for LLM reasoning in ontology link construction.

By Nouha Hayouni, Sheeba Samuel, Alsayed Algergawy
arXiv AI
Oct 28

OA-RAG: Ontology-based Agentic RAG for Faithful LLM Reasoning

OA‑RAG is an agent that combines formal ontology reasoning with large language model (LLM) reasoning to produce more faithful answers. For each response it lists the ontology observations used as evidence and assigns a grounding level—entailed, supported, related, or unrelated—to indicate the strength of that evidence. On benchmarks from three large ontologies and six real‑world medical QA tasks, OA‑RAG outperforms other ontology‑fine‑tuned and popular RAG methods, especially on reasoning‑intensive questions, and its grounding levels correlate with higher accuracy.

By Hui Yang, Jiaoyan Chen, Yongsheng Gao
arXiv Computation and Language
Oct 9

Natural Language to First-Order Logic LLM-based Autoformalization

The paper introduces a clear definition for the task of converting natural language into First‑Order Logic (FOL), separating ontology extraction from logical translation to improve evaluation consistency. It surveys current datasets, evaluation metrics, and LLM‑based approaches—including fine‑tuning, prompting, and verification‑based refinement. The authors also outline remaining challenges in benchmarking, semantic evaluation, ontology‑aware methods, and practical applications.

By Andrea Brunello, Cristian Curaba, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno