Как я могу использовать DifferentFrom (? X,? Y) в DL-безопасных правилах в Protégé? Возможно ли это сделать?