Использование экзистенциальных квантификаторов в описании логики - PullRequest
1 голос
/ 05 июня 2019

Мне трудно понять это утверждение в DL:

∃R.∃SC (a)

Что именно означает это предложение?Заранее спасибо!

1 Ответ

4 голосов
/ 05 июня 2019

Это означает, что индивидуум по имени a принадлежит понятию 100 R .∃ S . C . Концепция 100 R .∃ S . C представляет класс вещей, которые имеют отношение R с чем-то, что имеет отношение S с чем-то, что находится в классе, обозначаемом C . Например, если R является отношением married to, S является отношением works for и C является классом Public organisations, то ∃ R .∃ S . C представляет все лица, состоящие в браке с чем-то (или с кем-то), работающим в общественной организации. Тогда 10 R .∃ S . C ( a ) означает, что человек по имени a является таким юридическое лицо.

...