Определена семантика языков концептуального типа для спецификации онтологий. Разработаны язык структурной спецификации для системы онтологического моделирования \"бинарная модель знаний\" (БМЗ), язык логической спецификации для онтологического моделирования в системе БМЗ, язык запросов для баз фактов онтологий, язык гибких (нечетких) запросов.
