12.4. Работа со слотами

Создавать, редактировать, добавлять и удалять слоты класса в ИС Protégé можно как в таблице Template Slots (список слотов), расположенной окне редактора класса (см. рис. 12.6), так и в аналогичной таблице формы редактирования класса (см. рис. 12.9).

Для создания нового слота к существующему классу (рис. 12.11) на форме редактирования класса необходимо нажать кнопку в разделе списка слотов.

Рис. 12.11. Создание слота

На экран выводится форма редактирования слота, содержащая следующую информацию:

• Name − имя слота;

• Value Type − тип значения слота;

• Cardinality − мощность слота;

• Minimum − минимальное допустимое значение слота;

• Maximum − максимальное допустимое значение слота;

• Documentation − комментарий, пояснения к слоту;

• Inverse Slots − слоты, обратные редактируемому;

• Template Values − шаблонные значения, определенные для слота;

• Defaults − значения слота по умолчанию.

Редактирование слотов имеет ряд особенностей. Например, слот можно редактировать одним из двух способов: на верхнем уровне или в классе.

Редактирование слота на верхнем уровне влияет на слот везде, где бы он ни появился, включая вкладку Slots и любые классы, к которым этот слот присоединен.

Редактирование слота на уровне класса (переопределение) влияет только на слот этого класса и его подклассов. На вкладке Slots и любых неродственных классах слот останется неизменным.

Выбор режима редактирования слота осуществляется нажатием соответствующей кнопки на панели списка слотов Template Slots:

• View Top-Level Slot − для редактирования на верхнем уровне;

• View Slot Overrides − для редактирования в классе.

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

Рис. 12.12. Выбор режима редактирования слота

Для отдельных типов слотов под панелью Value Type появляется дополнительная панель:

• для типа Class − панель Allowed Parents (разрешенные родители);

• для типа Instance − панель Allowed Classes (разрешенные классы);

• для типа Symbol − панель Allowed Symbols (разрешенные символы).

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

Для определенных типов слотов применяются некоторые ограничения.

Класс может иметь слоты, унаследованные от родительского класса. Если слот определен глобально или унаследован, то мощность слота можно поменять только с Multiple на Single, но не наоборот.

Слот типа Any может быть ограничен до одного из других типов (Boolean, Class, Float, Instance, Integer, String, или Symbol).

Для слота типа Class разрешенные родители могут быть изменены только на подклассы разрешенных классов в родительском классе.

Для слота типа Instance разрешенные классы можно изменить только на подклассы разрешенных классов в родительском классе.

Поля минимального и максимального значений (Minimum и Maximum) доступны только для слотов с типом значения Integer или Float.

Любой прямой слот, присутствующий в списке слотов Template Slots, может быть удален из класса. Для этого необходимо выделить требуемый слот и нажать кнопку Remove Slot (исключить слот). Слот будет исключен из класса, однако останется в базе знаний и будет отображаться в диалоговом окне выбора слотов Select Slots.