Protege-OWL笔记2-property的约束及约束添加

Lesson 2

ontology研究类之间的关系、如何分类、类之间的区别和相似点。

关系的建立

1、函数型关系
Matthew livesIn England
Matthew：个体individual
England：类class
livesIn在个体Matthew和类England之间产生了一层关系
这个关系叫做Property
而且称前者（个体）为domain（域）
后者（类）为range（范围）

Functional Properties（函数性）
A能推导出B
对于任一给定的x，能推导出与之相对应的的y

Inverse Function Properties（反函数性）
B能推导出A
England isLivedBy Matthew

当个体与类之间的关系具有函数型和反函数型时，可以做出如下推导：
A的生母是B（函数性）
A的生母是C（函数性）
结论：B就是C（反函数性）

Transitive Properties（传递性）
A的祖先是B
B的祖先是C
结论：C是A的祖先

Symmetric Properties（对称性）
A是B的兄弟
B是A的兄弟

Asymmetric Properties（不对称性）
A是B的兄弟
B是A的爸爸

Reflexive Properties（自反性）
A可以了解自己（A）
A也可以了解B

Irreflexive Properties（反自反性）
A可以是B的爸爸
但A不能是自己（A）的爸爸

添加关系
点击左上Object properties，点击列表中owl：topObjectProperty，点击左上角Add sub property添加新的关系
注意关系名必须以小写开头

注意：不能同时将关系设置为Inverse Functional和Transitive
因为有传递性，所以
A的祖先是B，B的祖先是C，A的祖先是C
但是由于反函数性，C的后代是B，B的后代是A，不能推出C的后代是A，明显矛盾

Description
描述一对一关系用only
描述一对多关系用some


添加描述界面：

左选框：选择关系Property
右选框：选择个体institution
下选框：选择个数对应关系

扩容
如果已经存在一个个体，例如蘑菇披萨，想要加一个辣酱蘑菇披萨，可以点击原Mushroom个体，点击Edit-Duplicate selected class，扩容个体名输入HotMushroom，就可以产生一个新的HotMushroom个体，保留原Mushroom的特性。