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