При использовании OWL полезно объявить свойство для личной электронной почты как owl:InverseFunctionalProperty, как и для foaf:mbox. При использовании OWL Full, который можно выполнить для свойств типа данных, в OWL DL оно должно быть свойством объекта, поскольку свойства объекта и типа данных там не пересекаются. Тем не менее, большинство инструментов не имеют проблем с этим.
Теперь мне нужно использовать Protégé для подготовки упражнения. Он не позволяет объявить свойство типа данных owl:InverseFunctionalProperty и не позволяет иметь адрес электронной почты в качестве объекта свойства abject. При внешнем кодировании, как и ожидалось, Protégé обрабатывает его как свойство аннотации.
Есть ли обходной путь?