Используя AllDifferent в определении OWL-онтологии
Могу я кто-то объяснять, что предназначено 'СОВОЙ, не имеет предположения уникального имени. Просто, потому что два имени отличаются, не означает, что они обращаются к различным людям.
Это означает, что каждый раз я объявляю некоторых людей, принадлежащих классу, я должен заявить, что они все отличаются?
Спасибо
1 ответ
Онтология, которая делает предположение об уникальности имен (UNA) неявно рассматривает все сущности как различные. Если онтология не соблюдает UNA, то возможно, что два понятия с разными именами будут считаться эквивалентными.
OWL не делает допущения UNA. Поэтому, если у вас есть класс, члены которого действительно различны, и вы хотите смоделировать это, то вам нужно явно объявить это, либо с помощью differentFrom или AllDifferent. Именно это сделано в примере трех разных вин в Руководстве по языку совы.