Мне нужно реализовать OWL-онтологию в Protégé, которая содержит два класса:s1 а такжеs2оба являются примерамиSystem класс. Эти два класса связаны классом соединенияs1_s2, который содержит свойствоomega, Это свойство должно принимать значение в соответствии со следующим законом:

omega = 1 * s1.complete

Как я могу реализовать это в Protégé, чтобы я мог использовать его в правиле SWRL в будущем?