Пропустить навигацию.
Главная

О проекте ЭЗОП

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

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

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

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

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

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

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

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

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

Проект ЭЗОП разрабатывается с целью проверки и отладки предлагаемых решений. Работы над проектом поддержаны грантом РФФИ 09-07-00079-a