Web-сервер онтологий системы ЭЗОП

Система Элементов Задач и ОПределений (ЭЗОП)представляет собой Web-сервер коллективного конструирования библиотек онтологий. Система должна работать в стиле Web 2.0.

Web-сервер онтологий предполагает многопользовательскую работу с онтологиями, когда необходимо обеспечить пользователям возможность формировать на сервере разделы библиотек онтологий для последующего общего использования в среде Интернет.

Web-сервер онтологий позволяет решать следующие задачи:

  • Объявлять новые разделы онтологий;
  • Формировать группу зарегистрированных пользователей для разработки онтологий раздела;
  • Формировать и отлаживать черновики онтологий;
  • Публиковать отлаженные онтологии в разделе;
  • Просматривать опубликованные онтологии и задавать к ним вопросы;
  • Выгружать онтологии в виде OWL-файлов для использования в других системах.

Сервер разработан с использованием Drupal.

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

Онтологии различных предметных областей знаний описываются на формальном языке, интерпретируемом в компьютерных системах. С другой стороны, так как онтологии должны формироваться специалистами в предметных областях и использоваться, как людьми для описания своих задач и запросов, так и компьютерными системами для построения ответов на запросы и для логического вывода, то к языку представления онтологий предъявляются противоричивые требования: удобство использования специалистами в предметных областях, близость к языку их предметной области и ориентированность этого языка на компьютерное использование.

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

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

ЭЗОП представляет собой Web-сервис, который позволяет пользователям коллективно конструировать онтологии. В этом смысле, ЭЗОП подобен приложению MediaWiki, также предоставляющему сервис для построения коллективных описаний на различную тематику. Но, в отличии от MediaWiki, описания, которые формируются в ЭЗОП, записаны на формальном языке, разработанном самими пользователями и, таким образом, могут быть проинтерпретированны как людьми, так и в компьютерных системах для построения выводов по тексту онтологии.

Система предоставляет пользователям возможность обращаться к онтологии (или черновику онтологии) с вопросами на языке шаблонных выражений системы. Ответы на вопросы к текущей онтологии система строит на основе внутренней аппроксимации текста текущей онтологии и правил переписывания, которые также могут быть введены пользователем. Отлаженный черновик онтологии может открываться автором онтологии в разделе для внешнего использования.

В данном проекте для построения внутренней аппроксимации текста используются алгебраические (теоретико-категорные) принципы представления знаний.

Проект является развитием Windows приложения ЭЗОП, работающего под Windows и разработанного средствами Visual Prolog 5.2.

Проект ЭЗОП разрабатывается с целью проверки и отладки предлагаемых решений.