Объединение диапазонов доменов OWL

Из предыдущего вопроса я понял, как пересечение работает между несколько доменов и диапазонов предиката.

Кажется, что union является более распространенным способом справиться с этим сценарием, поэтому теперь мне интересно, какие разные выводы делаются из объединения доменов или диапазонов.

Учитывая p rdfs:domain (C ∪ D ∪ E) и тройку a p b, какой вывод можно сделать о a?


owl rdf set-union
person jaco0646    schedule 06.06.2017    source источник
comment
Предполагается, что a принадлежит союзу C, D и E. Ни больше ни меньше.   -  person UninformedUser    schedule 07.06.2017

Ответы (1)


arrow_upward
1
arrow_downward

Для тех, кто не очень хорошо разбирается в теории множеств (таких как я), я дам некоторое объяснение того, что, по моему мнению, означает принадлежность a к союзу C, D и E.

  • Тип a является по крайней мере одним из C или D или E.
  • The type of a may be more than one of C and D and E.
    • For example, a may be type C and type E (or may be all three types).
  • Если C, D и E имеют общий суперкласс S, то a также относится к типу S.
  • Учитывая информацию в вопросе, нет более точного способа определить тип a, кроме этих «может быть». В частности, мы не можем сделать вывод, что a имеет более одного типа, но мы также не можем сделать вывод, что a имеет менее трех типов.
person jaco0646    schedule 07.06.2017