Предположим, что онтология OWL содержит следующее правило SWRL: has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z) и следующие утверждения свойства объекта: o1 has_part o2 o1 participates p1 Когда я запускаю средство...