Формализм запросов

Средства спецификации онтологий в проекте Ontobroker

В Ontobroker имеются три основные подсистемы: интерфейс формулирования запросов {query interface), машина вывода ответов {inference engine) и собствен­но машина доступа к Интернет-ресурсам - «червяк» {WebCrawler), используе­мый для накопления требуемых знаний из этой среды.

Для спецификации онтологий разработан специальный язык представления зна­ний. Подмножество этого языка служит и для формулировки запросов, а язык аннотирования - для «обогащения» Web-документов онтологической информа­цией. Все эти компоненты и обсуждаются ниже.

Формализм запросов ориентирован на фреймовое представление онтологий, в рамках которого, как и обычно, определены понятия экземпляров, классов, атри­бутов и значений.

Схема О:C [A - >> V] означает, что объект О является экземпляром класса С с ат­рибутом А, имеющим значение V. Важно, что в каждой позиции такой схемы мо­гут использоваться не только константы, но и переменные или выражения.

Для примера, запрос вида

FORALL R <- R: Researcher

предполагает поиск всех объектов, являющихся экземплярами класса Researcher. Если предположить, что идентификатором объекта служит URL домашней стра­ницы специалиста, в качестве результата по этому запросу будет выдан список соответствующих Интернет-ссылок.

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

FORALL Obj, FN, EM < -

Ob]: Researcher [first Name- >> FN;

lastName->>"Иванов"; email->>EM].

В качестве ответа при этом могут быть получены значения переменных:

Obj = http://www.anywhere.ru/~ivanov/

FN = Иван

ЕМ = mailto:[email protected]

Имеются в языке Ontobroker и средства вывода значений свойств. Так, некоторые из атрибутов объекта могут задавать отношения, свойства которых известны ма­шине вывода. Для примера, в запросе вида

FORALL Obj, CP <-

Obj:Researcher[lastName ->>"Иванов"; cooperates With->>CP],

атрибут cooperates With является отношением, обладающим свойством симмет­ричности. Это означает, что даже если у объекта, описывающего специалиста по фамилии Иванов, свойства cooperates With нет, Ontobroker выведет его, если в онтологии представлен объект, описывающий другого специалиста, который имеет такое свойство со значением «Иванов».

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

FORALL Att, T <- Researcher [Att=>>T]

вернет в качестве результата имена всех атрибутов класса Researcher и связанных с ним классов.

В самой системе Ontobroker поддерживаются два типа интерфейсов при форми­ровании запросов - текстовый (для экспертов) и графический (для пользовате­лей). Первый из них предполагает, что запросы формулируются непосредственно во входном языке описания онтологий. Понятно, что при этом знание синтаксиса языка Ontobroker и знакомство с онтологией, для которой запрос формулирует­ся, должны у эксперта присутствовать.

Проблема знания синтаксиса решается в данном случае, как, впрочем, и в боль­шинстве других инструментальных средств нового поколения, за счет диалогов, управляемых системой (system-driven dialogue). Пользователю выдается соответствующая панель, где могут быть определены (путем выбора из меню) компонен­ты запроса и связки между ними. Такой подход обеспечивает синтаксическую корректность и однозначность интерпретации запроса.

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

В Ontobroker для визуализации онтологий используется подход, основанный на идеях гиперболической геометрии (Hyperbolic Geometry) [Lamping et al., 1995]. В случае обсуждаемой системы эти идеи реализуются следующим образом: класс, интересующий пользователя в данный момент, представляется «большим шаром», а классы, с ним непосредственно связанные, - «маленькими шарами» и располагаются по границе круга, «очерчивающего» соответствующий слой. Ис­пользуя данный интерфейс, и эксперт, и пользователь могут легко и эффективно включать в свой запрос нужные концепты и их атрибуты, а система Ontobroker переведет их в текстовое представление автоматически. Реализован интерфейс онтологий Ontobroker как Java-апплет, что обеспечивает работу с Web-броузе­рами на любых платформах, где поддерживается Java-технология.

Дата добавления: 2015-07-02