**Ivan Varzinczak **

This talk will give a brief introduction to formal ontologies, description logics and their applications.