Лекция: Концептуализация проблемной области: Объектная модель

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

предикат (Объект, Значение).

Если предикат определяет название свойства объекта, то в качестве значения выступает конкретное значение этого свойства, например:

профессия («Иванов», «Инженер»).

Если предикат определяет название связи объекта, то значению соответствует объект, с которым связан первый объект, например:

Работает («Иванов», «Механический цех» ).

В качестве важнейших типизированных видов отношений рассматриваются следующие отношения:

“род” — “вид” (обобщение);

“целое” — “часть” (агрегация);

“причина” — “следствие”;

“цель” — “средство”;

“функция” — “аргумент”;

“ассоциация”;

“хронология”;

“пространственное положение” и др.

Так, отношения обобщения («род» — «вид») фиксируется на уровне названий классов объектов, например:

есть-подкласс (Инженеры, Личности).

Под классом объектов понимается совокупность объектов с одинаковым набором предикатов (свойств и связей). Класс объектов часто описывается в виде n-ного реляционного отношения, например:

личности ( ФИО, Профессия, Подразделение,… ).

Если объекты обладают частично пересекающимся набором предикатов, то осуществляется более сложная классификация объектов: класс объектов по значениям какого-либо свойства (признака) разбивается на подклассы таким образом, что класс объектов содержит общие для подклассов свойства и связи, а каждый из подклассов отражает специфические свойства и связи, например:

личности ( ФИО, Год рождения, Профессия, Подразделение,… )

инженеры ( ФИО, ВУЗ, Оклад,… )

рабочие ( ФИО, Разряд, Тарифная ставка,… )

При этом подклассы объектов автоматически наследуют общие свойства и связи вышестоящих классов, а совокупность взаимосвязанных по отношению обобщения классов объектов образует иерархию наследования свойств.

Отношение агрегации классов объектов («целое» — «часть») отражает составные части объектов, которое можно представить в бинарном виде на именах двух классов объектов:

есть-часть ( Оборудование, Цех );

есть-часть ( Рабочие, Цех ).

Аналогично представляются другие семантические отношения: