This ontology is a "toy model" for an Instrictional-design (ID) theory ontology based on the definitions provided in: Reigeluth, C.M. (Ed.) (1999). Instructional-Design Theories and Models, Volume II: A New Paradigm of Instructional Theory. Mahwah, NJ: Lawrence Erlbaum Assoc. It features the example of Perkins' "theory one" as an example of a ID theory. "A theory that offers explicit guidance on how to better help people learn and develop" (Reigeluth, 1999) Situations in which some IDMethod(s) should or should not be applied. "Ways to support and facilitate learning" (Reigeluth, 1999) "ID theory identifies methods of instruction" "ID theories are desing-oriented - focusing on means to attain given goals for learning or development". "[...] in all instructional theories, the methods of instruction can be broken in more detailed component methods, which provide more guidance to educators". null Makes hasPart transitivity a matter of assertions. "giving abundant examples of the concepts treated" "Descriptions and examples of the goals, knowledge needed and the performances expected" "legitimizing a new concept or procedure by means of principles the students already know, cross-checks across representations, and compeling logic" "Identification of goals for the students" "linkage of new concepts to old ones through identification of familiar, expanded and new elements" "monitoring and signaling processes toward the goals" Activites that are amply rewarded, either because they are very interesting and engaging in themselves or because they feed in other achievements that concern the learner." "enhance learning for any performance we want to teach" "Opportunity for learners to engage actively and reflectively whatever is to be learned - adding numbers, solving word problems, writing essays" "Clear, thorough counsel to learners about their performance, helping them to proceed more effectively" true true The consequent of the rule requires that we define a property per IDTheory. This is because a current limitation that does not allow to assert COMP(?lo, Perkins_TheoryOne), probably because it names an instance. true "Give abundant examples of the concepts treated"