Можем ли мы сделать вывод о соотношении двух классов от их ограничений?

Я не уверен, если мы можем статистических выводов отношения двух классов от их ограничений ... если у нас есть 2 класса:Можем ли мы сделать вывод о соотношении двух классов от их ограничений?

owl:class1 rdfs:subClassOf [restriction1...], [restriction2...], [restriction3]. 

owl:class2 rdfs:subClassOf [restriction1...], [restriction2...].

Что умозаключение мы можем извлечь из этого знания? Похоже, что owl:class2 шире, чем owl:class1. Можем ли мы сделать вывод owl:class1 rdfs:subClassOf owl:class2.?

источник

2015-12-10 Charles Chow

Короткий ответ, нет. – AKSW

@AKSW можем ли мы обработать значение класса radius как класс здесь? –

Это говорит о том, что данное 'class3 ≡ ограничение1 ⊓ ограничение2',' class1 ⊑ class3' и 'class2 ⊑ class3'. Если это ваше определение «* более широкое *», то это неописуемо. Это, однако, не означает, что 'class1' и' class2' должны делиться даже одним человеком. Подумайте, например. профессоров и студентов, у всех которых есть имя (res1) и фамилия (res2), но обычно нет совпадений между этими двумя наборами. – dhke

owl:class1 rdfs:subClassOf [restriction1...], [restriction2...], [restriction3]. 

owl:class2 rdfs:subClassOf [restriction1...], [restriction2...]. 
Что умозаключение мы можем извлечь из этого знания? Это выглядит как owl: class2 шире, чем owl: class1. Можем ли мы сделать вывод: class1 rdfs: subClassOf owl: class2.?

Это не было бы юридическим заключением вообще. Помните, что отношения подкласса - это только подмножество отношений на множестве людей. Выражения ограничения - это просто выражения класса, что означает, что они обозначают множества людей. Когда вы смотрите на некоторые аксиомы, вы не знаете все, вы просто знаете некоторые вещи, о которых говорили люди. Например, могу вам сказать, что

A & subseteq; {1,2,3,4,5}
A & subseteq; {1,2,3,4}
A & subseteq; {2,3,4,5}

B & subseteq; {1,2,3,4,5}
B & subseteq; {1,2,3,4}

Теперь у нас есть более аксиомы подмножества около A, чем около B, и все те, что касаются B, также применяются к A. Это не должно быть так, что A & subseteq; B, однако. Например, это может быть так, что:

А = {2,3,4}
В = {2,3}

источник

2015-12-10 15:03:55

Стоит отметить, что вывод был бы действительным, если бы класс 2 был определен как эквивалент пересечения двух ограничений. – Ignazio

благодарю вас за ваш ответ, основываясь на этом, какой вывод мы можем сделать из двух своих отношений с другими классами? можем ли мы сделать вывод только о базе данных о домене и диапазоне свойств? –

@Ignazio немного путают здесь, я думал, что подкласс из нескольких классов можно понять как пересечение нескольких классов, поскольку классы представлены как набор –

Можем ли мы сделать вывод о соотношении двух классов от их ограничений?

ответ

Смежные вопросы