OWL обединение на диапазони на домейни

От предишен въпрос разбрах как работи intersection между множество домейни и диапазони на предикат.

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

Като се има предвид 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