В статье рассматриваются вопросы использования дескриптивных логик для построения моделей метаописаний. Предлагается метод построения таких моделей в рамках дескриптивной логики ОО-проекций. Данный метод иллюстрируется на примере классической системы метаописаний дублинского ядра.
онтологии, дублинское ядро, язык запросов libretto, спецификация