Я хочу создать онтологию о генеалогии. У меня есть классы Person и Gender и отношение has_child между двумя Persons и противоположное отношение has_parent. У каждого человека есть пол. Я хотел бы определить некоторые новые свойства, такие как has_father, определенный как has_parent P1 and P1 has_gender MALE или has_sibling, определенный как has_sibling(X1, X2) = has_father(X1, F) and has_father(X2, F). В этом примере я проигнорировал мать, но это ради простоты.
Я мог бы создать явные отношения и добавить их в Персоны, но я хочу, чтобы система выводила отношения.