Без заголовка

Почему вы вычитали про "классификатор"? Типы и отношения - это как минимум. А вот что она должна быть стандартная - это всё более существенный вопрос. Онтология должна быть разделяемой, и даже самая лучшая логическая модель с констрейнтами, разработанная одним очень умным программистом для одного проекта - это не вполне онтология.