要点:
1.怎么增加 pizza and has topping
2.Annotations是注释栏,可以对本体添加一些信息注释或描述。
3.如果要一次性给类添加很多个子类,可以右键点击该类,选择 Add Subclasses
在空白大框内输入要建立的子类的名字,以回车分隔(默认是不相交的集合)
4.三元组的定义(s,p,o),对象属性就p的定义,s和o就是前面类的定义
5.在定义对象属性的时候,一个比较重要的操作就是属性之间的互逆关系,互逆关系的定义是对本体关系的补充,也是推理过程的优化。
6.在定义对象属性时,可以定义对象属性的属性,做更多的说明。
Functional :即单映射,对于某个实例来说,通过这个对象进行关联的实例有且仅有一个。
比如 对于任何人一个,生母永远只有一个。
inverse function:该对象属性的逆属性是单值属性(不太懂)
Transitive:传递性,B是A祖先,C是B的祖先,那么,C是A的祖先。
Symmetrifc:对称性,你是我的朋友,我也是你的朋友
Asymmetric:非对称性,你是我儿子,但我不能是你的儿子
Reflexive:属性的自反性,自己与自己的关系。
Irreflexive非自反性,不能描述自身到自身的关系,比如isMontherof
7.对象属性的Domains和Ranges
一条边联系两个节点,即(s,p,o)三元组,这条边就是对象属性。有向图,箭头带有指向性。
箭头起点称为DOMAIN,即定义域
箭头终点为Range,即值域
对象属性可以拥有多个值域
8.类的约束
对象属性实质上就是定义了类之间的关系
可以给类添加一些约束
约束的定义在Description中的SubClass of 中添加(可以在Class expression editor手动输入,或者Object restriction creator里面选择,比较复杂可以手动输入,简单的可以直接选择)