판 이력 — From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies | AIChainDay