Showing 2026Show all
3 papers · 1 filter
cs.AI2026
NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning
Hui Yang, Jiaoyan Chen, Yiping Song +2
OWL ontologies provide a formal knowledge representation framework that enables semantic reasoning, and have been widely adopted across domains such as healthcare and bioinformatic…
cs.AI2026
AgentMap: Joint Equivalence and Subsumption Discovery for Ontology Matching
Yiping Song, Jiaoyan Chen, Renate Schmidt +2
Ontology matching (OM) has traditionally been formulated as either equivalence discovery or subsumption matching. The existing OM systems identify only one type of semantic corresp…
cs.AI2026
Large Language Model for OWL Proofs
Hui Yang, Jiaoyan Chen, Uli Sattler
The ability of Large Language Models (LLMs) to perform reasoning tasks such as deduction has been widely investigated in recent years. Yet, their capacity to generate proofs-faithf…