Как называется формализации некоторой области знаний с помощью концептуальной схемы? Обычно такая схема состоит из структуры данных, содержащей все релевантные классы объектов, их связи и ограничения, наложенные на объекты и связи.