From the 1 of 7 linked papers with an AI index.
5 papers · 1 filter
AgentMap: Joint Equivalence and Subsumption Discovery for Ontology Matching
Yiping Song, Jiaoyan Chen, Renate Schmidt +2
The paper introduces Hybrid Ontology Matching (HOM), a task that simultaneously discovers equivalence and subsumption relations between ontologies, and presents AgentMap, a multi‑a…
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…
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…
Language Models as Ontology Encoders
Hui Yang, Jiaoyan Chen, Yuan He +2
OWL (Web Ontology Language) ontologies which are able to formally represent complex knowledge and support semantic reasoning have been widely adopted across various domains such as…
TransBox: EL++-closed Ontology Embedding
Hui Yang, Jiaoyan Chen, Uli Sattler
OWL (Web Ontology Language) ontologies, which are able to represent both relational and type facts as standard knowledge graphs and complex domain knowledge in Description Logic (D…