7 papers
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…
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…
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…
Hierarchical Retrieval with Out-Of-Vocabulary Queries: A Case Study on SNOMED CT
Jonathon Dilworth, Hui Yang, Jiaoyan Chen +2
SNOMED CT is a biomedical ontology with a hierarchical representation, modelling terminological concepts at a large scale. Knowledge retrieval in SNOMED CT is critical for its appl…
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…
RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean Regions
Hui Yang, Jiaoyan Chen
Hierarchical data is common in many domains like life sciences and e-commerce, and its embeddings often play a critical role. While hyperbolic embeddings offer a theoretically grou…
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…