Мне свойство dcterms:identifier кажется законным обратным функциональным свойством. Когда две вещи имеют один и тот же идентификатор, я думаю, можно с уверенностью заключить, что это одна и та же вещь.
Есть ли веская причина не определять его как таковое (owl:InverseFunctionalProperty) в моей онтологии?
Если вам нужно остаться в OWL 2 DL, то не стоит объявлять свойства данных обратными функциональными - только свойства объекта могут быть объявлены как таковые без нарушения ограничений и в конечном итоге в OWL 2 FULL.
dcterms:identifier имеет диапазон rdfs:Literal, определенный здесь
Вы можете использовать аксиому HasKey для достижения аналогичных результатов: ключи были введены в OWL 2 с целью идентификации одного или нескольких свойств, значения которых являются идентификаторами для ссылающихся лиц, и могут использоваться как свойства объекта, так и свойства данных.
owl:InverseFunctionalProperty. Использование общего словаря, такого как dcterms, может означать, что ресурсы, созданные вами, могут быть связаны с ресурсами, созданными другими. Таким образом, некоторые ресурсы будут использовать dcterms:identifier какowl:InverseFunctionalProperty, а другие — нет, что создаст различные проблемы. (кстатиfoaf:mboxэтоowl:InverseFunctionalProperty) - person Ivo Velitchkov schedule 04.12.2016