使用 protege 表示 class 图
Representing a class diagram using protege
我正在为搜索实验室开发 ontology，我需要用 "Protege" 表示我的 class 图。我不知道如何表示关系红衣主教。例如，我该怎么做？
那么红衣主教呢：
0...*
2..5
3..*
0..1
等等
非常感谢
要说 Faculty 的实例恰好在一所大学任教，您需要使用 属性 限制和子类公理：
(1) 教师 SubClassOf（在 刚好 1 大学任教）
要说 至少 一个 Faculty 实例在每所大学任教，您将使用另一个人员限制和子类公理，但您需要使用相反的方法属性:
(2) 大学 SubClassOf（inverse（teachesAt）min 1 大学）
如果你愿意，你可以用some代替公理(2)中的min 1。
一般来说，有一些限制会施加基数：
- 一些（至少一个（相当于min 1））
- min n（至少n）
- max n（最多n）
- 正好 n（正好 n）
所以对于其他一些范围，你可以这样说：
- 哺乳动物有两到四 (2..4) 条腿：
哺乳动物 SubClassOf ((hasLegs min 2) and (hasLegs max 4))
- 森林至少有 300 (300..) 棵树：
Forest SubClassOf hasTree min 300
- 汽车最多有一个 (0..1) 个收音机：
Car SubClassOf hasRadio max 1
我正在为搜索实验室开发 ontology，我需要用 "Protege" 表示我的 class 图。我不知道如何表示关系红衣主教。例如，我该怎么做？
那么红衣主教呢： 0...*
2..5
3..*
0..1
等等
非常感谢
要说 Faculty 的实例恰好在一所大学任教，您需要使用 属性 限制和子类公理：
(1) 教师 SubClassOf（在 刚好 1 大学任教）
要说 至少 一个 Faculty 实例在每所大学任教，您将使用另一个人员限制和子类公理，但您需要使用相反的方法属性:
(2) 大学 SubClassOf（inverse（teachesAt）min 1 大学）
如果你愿意，你可以用some代替公理(2)中的min 1。
一般来说，有一些限制会施加基数：
- 一些（至少一个（相当于min 1））
- min n（至少n）
- max n（最多n）
- 正好 n（正好 n）
所以对于其他一些范围，你可以这样说：
- 哺乳动物有两到四 (2..4) 条腿：
哺乳动物 SubClassOf ((hasLegs min 2) and (hasLegs max 4)) - 森林至少有 300 (300..) 棵树：
Forest SubClassOf hasTree min 300 - 汽车最多有一个 (0..1) 个收音机：
Car SubClassOf hasRadio max 1