5 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…
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…
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Sen Zheng, Renate A. Schmidt
Query answering is an important problem in AI, database and knowledge representation. In this paper, we develop saturation-based Boolean conjunctive query answering and rewriting p…