Под-свойство. Так же, как и классы, свойства могут быть объединены в иерархии. Так, если свойство-связь «является дочерью» – под-свойство для «является родственником», то если А является дочерью Б, то верно и то, что А является родственником Б.
- Транзитивность. Если какое-либо свойство транзитивно, и известно, что объект А связан этим свойством с объектом Б, а Б – с В, то А связан тем же свойством с В. Например, свойство «является частью» – транзитивно. Значит, если двигатель является частью автомобиля, а поршень является частью двигателя, то верно и то, что поршень является частью автомобиля.
- Симметричность. Если А связан с Б симметричным свойством, это автоматически означает, что Б связан с А тем же свойством. Так, свойство «является супругом» симметрично, то есть если Иван является супругом Марии, то и Мария является супругой Ивана (для сравнения, свойство «является родителем» – не симметрично, т.к. обратное свойство имеет другой смысл).
Ограничения, налагаемые на значения, которые могут принимать свойства, можно формализовать так:
- Тип принимаемого значения. Для свойств-литералов характеризует тип литерала: число, строка, дата, логическое значение и др. Для свойств-связей перечисляет классы объектов, с которыми данная связь может связать некий объект.
- Диапазон возможных значений (числовые границы диапазона для свойств-литералов, перечисление определенного множества объектов для свойств-связей, и т.д.).
- Количество возможных значений. Это не интуитивное, но очень важное ограничение. Свойство «является супругом» может принимать только одно значение для граждан европейских стран, но несколько – для арабских.
Человек может иметь несколько имен, город – несколько названий. В то же время, свойство «температура» всегда будет иметь только одно значение, но обусловленное конкретной точкой измерения и моментом времени. Выражаясь точнее, в ряде случаев будет неправильно присвоить свойство «температура» физическим объектам; правильнее присвоить его объектам, относящимся к классу «акт измерения». Каждый такой объект будет иметь свойства, привязывающие измерение к моменту времени и точке, где оно выполнено. Свойство «температура» таких объектов сможет иметь только одно значение.
Человек может иметь несколько имен, город – несколько названий. В то же время, свойство «температура» всегда будет иметь только одно значение, но обусловленное конкретной точкой измерения и моментом времени. Выражаясь точнее, в ряде случаев будет неправильно присвоить свойство «температура» физическим объектам; правильнее присвоить его объектам, относящимся к классу «акт измерения». Каждый такой объект будет иметь свойства, привязывающие измерение к моменту времени и точке, где оно выполнено. Свойство «температура» таких объектов сможет иметь только одно значение.
- Обязательность. Каждое свойство для каждого объекта может иметь 0, 1 или более обязательных значений. Если свойство имеет одно обязательное значение – это означает то, что как минимум одно значение свойства для каждого индивидуального объекта должно быть задано.
Задание ограничений в онтологической модели имеет серьезную специфику, связанную с тем, что основным способом их использования является задание принадлежности объекта к классам. Это весьма неочевидный момент, который мы подробно рассмотрим далее.
Ни перечисленные отношения и характеристики свойств, ни список возможных ограничений не являются исчерпывающими – они приведены, скорее, в качестве примеров логических утверждений, которые можно использовать при составлении моделей. В то же время, все эти виды утверждений имеют конкретное выражение при помощи технических средств семантических технологий, о чем мы поговорим в следующем разделе.