protege中本体的建模:
空的本体包含一个类称为Thing。
OWL类翻译为一系列个体,或一系列对象。
Thing类代表所有个体的集合。
Individuals 即为,领域中我们关注的对象
个体可以看作:实例,类的实例。
Proegte中OWL没有使用UNA(唯一命名规范)
这意味着,两个不同的名称可能指向同一个Individual。
Properties
是individuals之间的二元关系
Classes
包含individuals的集合
类可以用来分类(taxonomy),OWL中超类子类之间的关系能够被推理机自动判定。
每个本体都使用一个URI来定义
Inverse Properties(反向关系)
![](https://i-blog.csdnimg.cn/blog_migrate/1c835a6571cf2a9a69f97c1136a2e860.png)
Functional Properties
hasBirthMother可以当做一个函数来看待
![](https://i-blog.csdnimg.cn/blog_migrate/877e8ad24c5ae9fe73f37c46b8a6f5fe.png)
Inverse Functional Properties
![](https://i-blog.csdnimg.cn/blog_migrate/09edcc6ecd9a7aa93b58c37693471680.png)
Transitive[传递] Properties
![](https://i-blog.csdnimg.cn/blog_migrate/4efcccba44d5b58cb0401a38e4bb56f4.png)
Symmetric[对称] Properties
![](https://i-blog.csdnimg.cn/blog_migrate/b44f422edb95ab764db60e4d1aa26237.png)
Antisymmetric[反对称] Properties
![](https://i-blog.csdnimg.cn/blog_migrate/53bbf9c5b2e9af71f3eae600fce6dc0f.png)
Reflexive[反身、自反] Properties
![](https://i-blog.csdnimg.cn/blog_migrate/53b34b83c99fb01170cc9c33eec4dc5d.png)
Irreflexive[反自反] Properties
![](https://i-blog.csdnimg.cn/blog_migrate/d8051557cb777fc3dc421c9eb8b50ac2.png)
Property Domains and Ranges
![](https://i-blog.csdnimg.cn/blog_migrate/228807ef821955da8dac98a61cc9e3bb.png)