Представлена онтология ресурсов для семантического информационного сервиса грид и рассмотрены особенности применения семантических технологий в грид-системах.

Рассмотрена проблема вычислительной сложности логического анализа онтологий. Рассмотрены дескриптивные логики epsilon L и epsilon L++, для которых задача логического анализа имеет полиномиальную сложность. Предложен ряд улучшений для логического анализатора ELK с целью поддержки конкретных доменов (D) и утверждений экземпляров (ABox).

Высказано мнение, что типизированные выражения с использованием конкретных типов данных будут иметь первостепенную роль в Семантической паутине и необходимы для составления практически-применимых баз знаний. Представлена модификация высокопроизводительного логического процессора ELK с поддержкой типизированных свойств в рамках профиля OWL 2 EL. Проведенные испытания показали исключительную скорость классификации больших онтологий со значительным количеством экземпляров и типизированных свойств, что открывает новые перспективы для применения логических процессоров на практике.

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

Массовому внедрению онтологий и использованию интеллектуальных систем в целом препятствует тот факт, что алгоритмы логического анализа в таких системах имеют чрезвычайно высокую вычислительную сложность. Разрабатывая интеллектуальную систему управления ресурсами Грид, в которой центральную роль играют онтологии, столкнулись с недопустимо низкой производительностью логического анализа над базами знаний с большим количеством типизированных утверждений. С целью обеспечить приемлемую скорость классификации и масштабируемость преобразовано онтологию Грид-ресурсов к профилю OWL 2 EL и воспользовались модифицированным высокопроизводительным логическим анализатором ELK, что дало многократный прирост производительности логического анализа.