This course will explore theoretical techniques for the design and analysis of formal ontologies. Topics will include the design of verified ontologies, methodologies for proving properties about ontologies, and applications of classification theorems from mathematics. These techniques will be applied to ontologies that are currently being used in government and industry.