TY  - RPRT
TI  - From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
AU  - Haoruo Zhao
AU  - Wenshuo Tang
AU  - Duncan Guthrie
AU  - Michele Sevegnani
AU  - David Flynn
AU  - Paul Harvey
PY  - 2026
UR  - https://arxiv.org/abs/2604.16672
ID  - 2604.16672
ER  -