Start with the monograph [1], get basic acquaintance with the Descriptive Logic [2] and existing examples of ontologies. Explore the possibilities of interactive development of ontologies by means of methods of machine learning or formal methods of logic. The goal of the Thesis is to compare particular methods of developing ontologies and/or create your own suggestion of ontology development.