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
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…