(c) Larry Ewing, Simon Budig, Garrett LeSage
с 1994 г.

Кафедра Информатики и Математического Обеспечения

ПетрГУ | ИМиИТ | О кафедре | Проекты | Лаборатория ИТС | Семинары НФИ/AMICT
Сотрудники | Учебный процесс | Табель-календарь | Курсовые и выпускные работы
Вычислительные ресурсы | Публикации | Архив новостей | Контактная информация (English)

Поддержка семантических запросов в инструментарии SmartSlog

Вернуться к списку проектовНа главную страницу курса

Заказчик

Корзун Дмитрий Жоржевич, доцент кафедры Информатики и математического обеспечения. Эл.почта: dkorzun@cs.karelia.ru.

Инструктор

Димитров Вячеслав Михайлович, преподаватель кафедры Информатики и математического обеспечения. Эл.почта: dimitrov@cs.karelia.ru. Раб.тел.: 711015. Офис: 215 каб.

Аннотация проекта

Платформа Smart-M3 предназначена для создания многоагентных распределенных приложений, взаимодействующих в общем "интеллектуальном пространстве" (ИП). Разделяемая информация представлена в распределенном хранилище по модели представления RDF (по сути, информация представлена в виде орграфа). Приложение строится как набор процессоров знаний (от англ. "knowledge processor", далее - KP). Каждый KP - это программный агент, имеющий доступ к содержимому ИП в процессе работы приложения. Инструментарий SmartSlog предназначен для автоматизации модельно-ориентированной разработки KP для платформы Smart-M3, используя возможности языка описания онтологий OWL. Поддерживаются языки С, С++ и C# для автоматизированной разработки KP.

В предлагаемом проекте необходимо разработать поддержку языка семантических запросов SparQL от KP к ИП. Язык SparQL работает на уровне RDF, сводя задачу поиска информации в ИП к анализу соотвествующего RDF-графа. Предполагается разработка вариантов запросов и на уровне OWL, что потребует сведения к механизмам запросов SparQL/RDF. Разработанное системное ПО интегрируется в инструментарий SmartSlog, позволяя разрабатывать KP, выполняющие нетривиальные семантические запросы в ИП.

Разработчики

  1. Устимов Кирилл Андреевич, 22304
  2. Пятин Дмитрий Сергеевич, 22306
  3. Миронов Эйнари Александрович, 22303