Измеряемые величины. 
Априорная модель данных в реляционных базах

Ориентация на прикладные задачи (автоматизированное построение ЕЯ-интерфейса для баз данных и экспертных систем) диктует выбор объектов-концептов, но не определяет общность их представления. В текущей реализации эталонной базы в эскизном варианте разработаны таблицы для представления материальных объектов, их свойств и отношений и более детально разработаны таблицы для представления единиц измерения. Это представление базируется на понятии «измеряемая величина», а при представлении последней используются наиболее общие понятия:, ,, , и т. д.

Опуская ряд технических деталей приведем упрощенный фрагмент таблицы «априорные измеряемые величины» :

Фгагмент таблицы «эмпирические измеряемые величины»:

Элементы таблицы «измеряемые величины» (априорные) заносятся разработчиком, элементы таблицы «эмпирические измеряемые величины» формируются автоматически путем сканирования ЕЯ-текстов. При формировании используются эвристики, как общие для любых измеряемых величин, так и специфичные для данной (априорной) величины.

Примеры эвристик:

1) Если есть ЕЯ-контекст ««,.

То —, а ;

2) Если есть ЕЯ-контекст ««.

и " ,.

То ;

3) «- аналогично 1.

Нахождение ЕЯ-контекстов выполняется в 2 этапа — на первом находятся вхождения ключевой основы (например «измер»), на втором используется упрощеннный морфо-синтаксический анализ для сопоставления синтаксической структуры правила со структурой предложения, содержащего вхождения ключевой основы. Результаты успешного применения эвристики фиксируются в таблице «эмпирические измеряемые величины», а информация об умозаключении (основания, данные за/против, комментарии) в общей таблице гипотез.

Подчеркнем, что такое представление ориентировано, во-первых, на фундаментальные свойства измеряемых величин, а во-вторых, на механизмы автоматической детализации априорных измеряемых величин путем нахождения фрагментов ЕЯ-фраз, позволяющих выдвинуть эмпирические предположения (пусть неполные, а возможно и ошибочные). Именно эти особенности являются центральным моментом развиваемого подхода. Пример пусть и весьма общего, но стандартного подходе: ввод всех единиц измерения системы СИ, дополненного наиболее распространенными нестандартными единицами и наличие формального интерфейса, позволяющего вводить новые единицы.

В отличие от такого стандартного подхода целью вышеописанного представления является не только фундаментальность и автоматическая детализация, но и общность механизмов выдвижения и верификации предположений на основе произвольных ЕЯ-текстов. Работа с эвристиками в виде ЕЯ-подобных структур для «измеряемых величин» в значительной степени аналогична работе с такими же эвристиками для предположений о морфологических и синтаксических характеристиках словоформ. При этом структура таблицы гипотез ориентирована на максимальную независимость от содержательной интерпретации предположений (гипотез).

Поле «Ссылка на Измер.вел.» фрагмента таблицы «эмпирические измеряемые величины» является стандартным внешним ключом, ссылающимся на первичный ключ таблицы «априорные измеряемые величины». Однако помимо этой стандартной ссылки, которая должна быть интерпретирована программными средствами СУБД, в следующем поле содержится семантическое описание, предназначенное для интерпретации механизмами языка представления знаний. Такое представление ориентировано на тесное взаимодействие программных средств баз данных и языков представления знаний, обеспечение «семантичности» базы данных на уровне нестандартного поиска.

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