A Domain Ontology for Instruction