This is an elective course for the Autonomics track of IT Convergence Engineering, though it is open to all. This course is intended for researchers and practitioners who are interested in designing ontologies to support knowledge engineering and management for use in semantic reasoning. This course emphasizes an understanding of the fundamentals required to build robust conceptual models using ontologies. The course starts by introducing different forms of knowledge representation, and then follows with an in-depth exploration of the main theoretical tools for building ontologies. This is then followed by describing in detail how to build a formal ontology. Tools that can be used to build ontologies, to merge different ontologies, and to reason using ontologies are then examined. The course concludes with a set of basic applications that illustrate fundamental concepts of ontologies, followed by more advanced applications that are especially applicable to autonomic systems. Students will gain first-hand experience in designing and building ontologies and reasoning systems. Students will also be exposed to key components of the Semantic Web and Expert Systems.