Protege, что означает «Equivlent To»?

Question

Я изучаю OWL, и я пытаюсь построить онтологию с помощью Protege.

Я нашел опцию «Equivlent To» в Protege. Что это за вариант? это для деления пространства экземпляров? или установить свойства объекта, которые может иметь класс?

Answer 1

Equivalent to относится к выражениям классов, свойствам объекта и свойствам данных, а также означает, что два класса имеют одинаковую индивидуальность в любой интерпретации (т.е. два класса являются альтернативными именами или эквивалентными определениями для одного и того же набора физических лиц). Для свойств объектов и данных, утверждающих, что два свойства эквивалентны, означает, что их домены и диапазоны применяются к обоим свойствам, и каждое утверждение, использующее одно свойство, может быть переписано как использование другого. Например, предположим, что я объявляю hasOwner и ownedBy как равнозначные, то: MyCar hasOwner Me подразумевает MyCar ownedBy Me