Сопоставление количества свойств

Question

Я хочу отобразить 2 разных онтологии A и B. Но классы, которые я хочу отобразить, имеют различное количество свойств объекта. Предположим, что A равно b. A - отец, а B - мать. класс A: (пол, возраст, eyecolour, brother) класс B: (возраст, пол, цвет волос, спорт) Союз A и B сказал C получил: (пол, возраст, eyecolour, haircolour, sport) правильно? Есть ли какой-либо оператор create в owL? или мне нужно сделать выражение equvivalent для свойств объекта. Можно ли утверждать, что если A получил 2 брата, создайте свойство объекта x в B.

Answer 1

OWL-классы не являются классами объектно-ориентированного программирования, свойства не «принадлежат» классам в смысле что методы относятся к классам (во многих языках программирования OO). Когда вы говорите, что домен свойства Р является класс С, это означает, что всякий раз, когда у вас есть утверждение

        Р (х, у)

можно сделать вывод, что

        х представляет собой C

Если вы утверждаете, что

P domain A 
Q domain A 

R domain B 
S domain B 
T domain B 

, а затем утверждают, что

C equivalentClass (A union B) 

тогда вы сможете сделать вывод, что

P domain C 
Q domain C 
R domain C 
S domain C 
T domain C 

Так, например,

P(x,y) 

предполагает

x is an A 

, который, в свою очередь означает, что

x is a (A union B) 

, который подразумевает, что

x is a C 

Так C является областью P. Я думаю, что это то, что вы это означает, когда вы говорите, что «класс C обладает свойством P «.