protege 5.5 PIZZA教程

https://wenku.baidu.com/view/a58700071a2e453610661ed9ad51f01dc2815794.html?rec_flag=default&fr=Recommend_RelativeRecommend-90198,110175,80166,100204,110010,80025,90103,80139,100193,110157-search_rec_append-2b96a488de3383c4bb4cf7ec4afe04a1b171b04a

要点:
1.怎么增加 pizza and has topping


image.png

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里面选择,比较复杂可以手动输入,简单的可以直接选择)

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容