Как я могу выразить, что свойство объекта является отрицанием другого? Например, в географической области пространственное отношение «дизъюнкт» - это отрицание «пересечений», то же самое происходит между «isFarOf» и «isNearOf».
Я знаю, что существует "NegativeObjectPropertyAssertion" (см. https://www.w3.org/TR/owl2-primer/),, но это позволяет мне только выражать конкретные случаи на уровне отношений между двумя людьми, мне нужно что-то подобное, но я бы на уровнесвойств объекта.
Например, так же, как я могу сказать, что «isEastOf» является обратным к «isWestOf», я бы хотел сказать, что «дизъюнкт» - это отрицаниеПересекается "или что" isFarOf "является отрицанием" isNearOf "
Я также хотел бы знать, как я это делаю в инструменте Protégé.
Привет.