This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and conditions are modeled in a generic way able of capturing a plurality of views. Some concrete examples are provided, and the potential uses of such representations for the checking and selection of learning resources are sketched. Keywords. Instructional design, instructional design theories, ontologies, learning objects, learning designs, IMS LD.