From the 1 of 4 linked papers with an AI index.
4 papers
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…
GenOM: Ontology Matching with Description Generation and Large Language Model
Yiping Song, Jiaoyan Chen, Renate A. Schmidt
Ontology matching (OM) plays an essential role in enabling semantic interoperability and integration across heterogeneous knowledge sources, particularly in the biomedical domain w…
Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
Second-order quantifier-elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are no…