使用OWL时，将个人电子邮件的属性声明为owl:InverseFunctionalProperty与foaf:mbox一样有用。虽然可以对数据类型属性使用OWL Full，但在OWL DL中，它需要是对象属性，因为对象和数据类型属性在那里是不相交的。然而，大多数工具都没有问题。
现在我需要使用Protégé来准备练习。它不允许声明数据类型属性owl:InverseFunctionalProperty，并且它不允许将电子邮件地址作为abject属性的对象。在外部编码时，正如预期的那样，Protégé将其视为注释属性。
有解决方法吗？
选项1
将foaf:mbox声明为数据类型属性并使用OWL 2 keys。
选项2
在“Ontology前缀”选项卡上将mailto前缀定义为mailto:（即.@prefix mailto: <mailto:> .）。
然后在“创建一个新的OWLNamedIndividual”对话框中键入mailto:[email protected]。
没有这样的定义，Protégé不能正确处理mailto:[email protected]，只允许输入mailto://[email protected]。