How to infer isBrotherOf property between two individuals
Use Property Chains and Rolification Antoine Zimmermann’s answer is a very good start to this problem, and touches on the major point that you need to solve this sort of task: From x to each of x‘s brothers, there is a path of the form hasFather o hasFather-1. Now, that’s actually not true of just … Read more