Input. A set of competency questions (CQs) in natural language for a domain.
Output. A complete OWL ontology that answers all CQs, including class and property hierarchies, property characteristics, domain/range axioms, and TBox restrictions.
Purpose. Tests whether the LLM can move beyond explicit vocabulary to also generate the implicit and inferential terms each CQ requires, and assemble them into a coherent ontology with correct property modelling, axioms, and hierarchical structure under reasoner-derived closure.