Проверка эквивалентности свойств в онтологии OWL через SWRL или SQWRL

Question

У меня есть свойства P1, P2 и P3. P1 эквивалентно пересечению P2 и P3. Как мне написать правило, которое принимает P1 и находит пересечение P2 и P3 в качестве эквивалентного свойства.

Я знаю, что SWRL работает только на физических лиц A-Box. Любой взломать здесь? Или мне не хватает альтернативных способов?

Любая помощь в разработке такого правила высоко ценится. Спасибо!