Использование AllDifferent в определении онтологии OWL

Question

Могу ли я кому-нибудь объяснить, что подразумевается под 'OWL не имеет предположения об уникальном имени.То, что два имени разные, не означает, что они относятся к разным лицам.

Значит ли это, что каждый раз, когда я объявляю некоторых лиц, принадлежащих к классу, я должен утверждать, что они все разные?

Спасибо

Answer 1

Онтология, которая делает предположение об уникальном имени (UNA) , неявно обрабатывает все сущности как отдельные . Если онтология не обеспечивает UNA, то можно сделать вывод, что две концепции с разными именами могут быть эквивалентными.

OWL не делает предположений UNA. Поэтому, если у вас есть класс, члены которого действительно различны, и вы хотите смоделировать его, вам необходимо явно объявить его с помощью differentFrom или AllDifferent. Это именно то, что сделано на примере трех разных вин в Сове по языку сова .