ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

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

Аннотация.

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

Ключевые слова:

онтология, дескриптивная логика, таксономия, типизация концептов, контроль целостности, эффективность выполнения запросов.

Стр. 92-101.

Полная версия статьи в формате pdf.