Рис.9.Схема «сущность–связь» для семантической модели данных
Семантическая модель кроме обычной структуры сущность – связь может быть представлена в виде графов, в которой могут быть 4 категории вершин: понятия (объекты), события, свойства, значения. Между вершинами существуют 3 типа дуг: дуга между двух экземпляров соответствует утверждению; дуга между классом и экземпляром показывает элемент; дуга между классами показывает на бинарное отношение классов.
Семантические отношения подразделяются на лингвистические, логические, теоретико-множественные, квантификационные.
1. Лингвистические отношения бывают глагольные (время, вид, род, число, залог, наклонение); атрибутивные (модификация, размер, форма).
2. Логические отношения подразделяются на конъюнкцию, дизъюнкцию, отрицание, импликацию.
3. Теоретико-множественные отношения – отношения подмножества, отношения части и целого, отношение множества и элемента. Эти отношения обладают свойством транзитивности.
4. Квантификационные отношения подразделяются на два типа: логические кванторы ( - общность, Е- существование), нелогические (много, несколько, числовые характеристики).