Yong-Sheng Gao

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

OA-RAG is proposed, an agent that integrates formal reasoning with LLM reasoning, drawing on both the logical structure and informal annotations of domain ontologies, and is competitive with, and sometimes outperforms, domain-specific RAG systems that draw on sources such as textbooks.