Построение эффективных онтологий в больших системах управления предприятием

Предлагается новый диалект дескриптивной логики, позволяющий типизировать концепты и определяющий явную операцию наследования, что позволяет строить более строгие таксономии, устойчивые при эволюции онтологии. Также предлагается явное ограничение ролей концептами, что позволяет определять строгие ограничение целостности на Abox и повысить эффективность выполнения RBox-запросов.