2 papers
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…
cs.AI2025
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…