Protégé入门学习笔记Part1：创建类与属性

B站视频 Protégé入门学习笔记
链接：https://www.bilibili.com/video/BV1ME411j7su?p=3&share_source=copy_web
UP主：qrezc

Protégé入门

Part 1.1 创建

• 软件初始界面

• 创建新项目

法1：

法2：导入URI


在URI处输入已有项目，如：http://www.pizza.com/ontologies/pizza.owl（但是这个我打不开）

• 创建类Classes

点击Classes

如果页面上找不到，请依照下图勾选。

点击owl:Thing，再点击左上角“Add subclass”（创建子类）按钮，弹出窗口



在窗口内输入子类名称，本示例输入“Pizza”

如果想要创建与Pizza同层级的类，则点击图上“Add sibling class”（创建兄弟类）按钮，本示例创建“Pizza topping”，与“Pizza”同层级

当类较多想批量创建时：
如：想将其加在Pizza Topping下
SeaFood
   Anchovy
   Prawn
   Tuna
Vegetable
   Onion
   Pepper

创建在哪个类下选中哪个类：

出现窗口，根据需要添加前后缀：

Continue，创建成功

Part 1.2 Property的约束及约束添加

LivesIn是Property，相当于一个关系。在关系中，Matthew组成一个Domain，England组成一个Range。

• 常用关系的性质介绍

1． Functional Properties函数性

即从A能推导到B，且只能推导到B

2． Inverse Properties反函数性

3． Transitive Properties传递性
A是B的祖先，B是C的祖先，由传递关系，A是C的祖先

4． Symmetric Properties对称性

5． Asymmetric Properties反对称性

6． Reflexive Properties自反性

例：knows是一个自反关系，George和Simon知道彼此，且George知道自己是谁，Simon也知道自己是谁。

7． Irreflexive Properties反自反性

例：isMotherOf是一个反自反关系，因为Alice是Bob妈妈，但是Alice并不是自己的妈妈，Bob也不是自己的妈妈。

• 创建Properties
  

根据类来添加关系，如Pizza和Pizza Topping之间，Pizza has Pizza Topping。
注意创建property时候，首字母一定要小写。

创建如图两个关系，两者为反义词，“组成”和“被组成”，可以添加描述

添加描述：

当关系有这些性质时，可以添加性质：

其中，函数性和传递性相斥，即A推B且只能推B，与A推B,B推C，所以A可推C相矛盾。