Abstract
The teaching/ learning of cognitive skills, such as problem-solving, is an important goal in most forms of education. In well-structured subject areas certain exercise problem types may be precisely described by means of machine-processable knowledge structures or ontologies. These ontologies can readily be used to generate individual problem examples for the student, where each problem consists of a question and its solution. An example is given from the subject domain of computer databases.