I have properties P1, P2 and P3. P1 is equivalent to intersection of P2 and P3. How do I write a rule that takes P1 and finds intersection of P2 and P3 as equivalent property.
I know SWRL works only on A-Box Individuals. Any hack here? Or am I missing some alternative ways?
Any help in designing such a rule is highly appreciated. Thanks!