Класс формальных языков и алгоритм для построения семантических аннотаций веб-документов - page 8

нятие, для i = 1, . . . , n , ri — функция одного аргумента или бинарное
отношение , bi обозначает возможное значение ri для объектов, харак -
теризующихся понятием с . Например, если выбрать соответствующим
образом первичные информационные единицы , то после применения
на последнем шаге вывода правила P [8] можно получить К-цепочки
чел∗(Имя, ‘Петр’)(Фамилия, ‘ Сомов‘), поворот∗(Направление, левоe).
Правило P [9] дает возможность строить, в частности, К-цепочки
вида ∀v(des)D и ∃v(des)D, где ∀ — квантор всеобщности, ∃ — квантор
существования , des обозначает понятие “город”, “ целое число” и др .)
или составные понятия (“целое число, большее 200” и др.). D можно
интерпретировать как СП высказывания с переменной v о любой сущ-
ности, характеризуемой понятием des. Примеры К-цепочек для P [9]
как правила , примененного на заключительном шаге построения фор -
мулы : ∀x1 (нат .ч.) ∃х2(нат.ч.) Меньше(х1, х2), ∃у(страна∗(Регион,
Европа))Больше(Колич(Города(у )), 15).
Правило P [10] позволяет строить, в частности, К-цепочки вида
<a1 , . . . , an >, где n > 1, a1 , . . . , an — К-цепочки. Цепочки, получаемые
с использованием правила P [10] на последнем шаге вывода, интерпре-
тируются как обозначения n-местных наборов. Компонентами таких
наборов могут быть не только обозначения чисел , объектов, но и се-
мантические представления выражений , множеств, понятий и др.
Некоторые возможности построения семантических аннотаций
средствами СК-языков. Изложенная выше схема дает только очень
упрощенное представление о большой серии определений, заверша -
ющейся определением класса СК -языков (см. [9, 10]). В связи с этим
рассмотрим на примерах некоторые новые возможности , предоставля-
емые аппаратом СК -языков для построения семантических аннотаций
Веб -документов.
Пусть Т — это выражение на ЕЯ , Semr — цепочка СК-языка в
некотором концеп-туальном базисе, которую можно интерпретировать
как семантическое представление выражения Т . Тогда будем говорить ,
что Semr — К-представление (КП) выражения Т .
Пример 1. СК-языки позволяют строить составные обозначения
различных сущностей. Так, антибиотик “ Зиннат” может быть обозна -
чен К-цепочкой нек антибиотик∗(Назв1, “Зиннат ”):v, где элемент
нек интерпретируется как информационная единица, соответствую -
щая словам “определенный ”, “некоторый ”, а v — переменная , помеча-
ющая этот конкретный антибиотик.
Пример 2. Рассмотрим определение Def1 = “A flock (английский
язык) — это большое количество птиц или млекопитающих (напри -
мер, овец или коз), собирающихся вместе с определенной целью, такой ,
как питание, миграция или оборона”. Тогда определение Def1 может
80 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2005. № 3