在课堂描述中，“关键目标”和“通用课程公理”的特征是什么？

Question

实际上标题中的问题。我什么时候应该使用这些属性？我试图改变它们但没有发生任何事情。有人可以解释一下吗？

Answer 1

Key for Key代表OWL2中的HasKey。

  

HasKey 公理声明一个类的每个命名实例都由（数据或对象）属性或一组属性唯一标识 - 也就是说，如果该类的两个命名实例重合每个关键属性的值，那么这两个人是相同的。

一个例子是：

RegisteredPatient HasKey: hasWaitingListN 

通用类表达式代表Complex class expressions。它们并不经常使用，但您可以使用它们来表达OWL中的复杂语句。

例如：

HeartDisease EquivalentTo: Disease and hasLocation some Heart

另外，请看一下这个great example如何定义复杂的类表达式。