使用protege表示类图

Question

我正在为搜索实验室开发一个本体，我需要用“Protege”来表示我的类图。我不知道如何代表关系枢机主教。我怎么能为这个做这个呢？

红衣主教怎么样： 0 ... *

2..5

3 .. *

0..1

等

非常感谢

Answer 1

要说Faculty的一个实例只在一所大学教授，你会使用一个属性限制和一个子类公理：

（1）教师 SubClassOf （教授正好1 大学）

要说至少一个Faculty实例在每个大学教授，你会使用另一个peoperty限制和子类公理，但是你需要使用inverse属性：

（2）大学 SubClassOf （反向（teachesAt） min 1 大学）

如果您愿意，可以在公理（2）中使用 some 而不是 min 1 。

一般来说，有一些限制会产生基数：

• 一些（至少一个（相当于 min 1 ））
• min n （至少 n ）
• max n （最多 n ）
• 完全是（完全 n ）

因此对于其他一些范围，您可以说：

• 哺乳动物有两到四（2..4）条腿：
  哺乳动物 SubClassOf （（hasLegs min 2 ）和（hasLegs 最多4 ））
• 森林至少有300（300 ..）棵树：
  森林 SubClassOf hasTree min 300
• 汽车最多有一个（0..1）收音机：
  汽车 SubClassOf hasRadio 最大1