Излагаются основные понятия, касающиеся онтологий. Даются уточненные определения формальной онтологии и связанных с ней понятий. Также дается краткое описание системы «Бинарная Модель Знаний», предназначенной для построения онтологий. Main concepts related to ontologies are presented. Some refined definition of formal ontology is given.