protege笔记

在B站一个UP主那里搬来的，B站应该还能够搜到！

https://www.bilibili.com/video/BV1ME411j7su?from=search&seid=13617728312409886880

1.property的约束以及约束添加

Individuals与类之间产生的关系叫property。

函数型关系（functional relation）:Functional properties->描述就是a能够推导出b来，不能对应两个值。

反向关系->反向属性：Inverse Functional properties->一个值对应一个值。

同时具备上诉两种性质，则可能推倒结果为一个值。

Transitive传递性，symmetric对称性，asymmetric不对称性，reflexive自反性，irreflexive反自反性。

1）面板上，多对一关系->Functional；一对一->Inverse functional。（Functional不能和Transitive放在一起，因为前者要求一个值只能推导出一个值，多对一关系）

刚刚学到这里，以后打算学一点，搬一点！！！嘻嘻嘻！！偷懒要死的节奏！！

&_&

>_<

<_>