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

omega = 1 * s1.complete

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