-
Protege
软件使用说明
一．
Protege
系统版本介绍与分析
最常用的
Protege
版本主要有两个，我们分别介绍他们的优缺点
e
3.x
版
优点：
1
）
这个版本的用户体验比较好，没
4.x
版的那么别扭
2
）支持
RacerP
ro
推理机，能保存推理结果
3
）能对中文进行推理
4
）相关教程比较全面
缺点：
1
）
OWLViz
不支持中文，添加中文，图像显示会重叠
2
）没有
ontog
raf
功能块，总之不支持中文图像结果显示
3
）使用
OWLViz
功能块
，必须安装
graphviz
1.9
版的
e 4.x
版
优点：
1
）自带推理机
Fact++
2
）有
ontograf
功能块，支持中文图像显示
3
）相关教程比较全面
缺点：
1
）
无法保存自带推理机的推理结果，至少我是没找到保存方法
2
）
OWLViz
也不支持中文
3
）软件界面用户体验不好，很多模块需要自
己选择添加
4
）使用
OWLViz
功能块，必须安装
graphviz
2.28
版的
上面说了这么多你可能不知道选择哪个好。那就列出几个关键
的问题：
1.
想使用
OWLViz
观察图像结果？
不管是
3.x
版还是
4.x
版都可以。
但是要注意一点，
就是版本兼容问题
；
个人推荐
protege3.1
配<
/p>
graphviz 1.2
或者
pro
tege4.1
配
graphviz2.28.
2.
想使用推理机并更新原数据？
<
/p>
个人建议使用
protege3.x
，并
使用
RacerPro
1.9
版安装
版。虽然
protege4.x
版自带推理机也
能推理，
但是保存结果更新原数据没法实现，
至少我是
整了很久都没实现。
这也是我不喜欢
使用
4.x
的原因，用户体验比较差。
3.
想支持中文，在绘图区显示图像结构？
这个就必须使用
4.x
版了，<
/p>
也只能在
4.x
版的
ontograf
功能块才能看到图像结构，
而在
OWLViz
会出现图像重叠；
不过在这也弱弱
的吐槽一下，
ontograf
显示的图像结构效果并不是很理
想，
个人觉得做的很差。
总结：
上面讲了这么多，相信你也有
自己的选择了。但是我个人觉得啊！还是使用
protege3.x
版更
好，当然前提是你对
OWLViz
显示中文并不是很需要的前提下；除去这个因素，
protege3.x
版还是蛮不错的，软件界面使用舒服，可以保存推理机推理结果；而且在
c
lass
中定义中文
也可以推理。
我们选用的版本：
因为我们在做英文
本体的时候还要有对应的中文本体的创建与显示，因此我们选用
Protege4.2<
/p>
，
graphviz-2.26
进行实验
。
二．
P
rotege4.2
系统安装说明
1
.
安装
JDK1.6
：
下载资源进行安装，环境变量配置：变量名
prot
ege_home
，变量
值
G:StudyJDK1.6
<
/p>
2.
安装
protege_4.2_al
pha
：
安装时软件会自动检测
pro
tege
虚拟机环境，
将
jdk
安装路径
G:StudyJDK1.6
下
jre
文件复制到
G:Study
，即与
JDK1.6
文件夹同一级。开
始安装，选择安装路径，生成文件物理位置，
continue
即可。
3.
安装
graphviz-2.28
插件：
下载资
源进行安装，
安装后生成
bin
，
etc
，
include
< br>，
lib
，
share
五个文件夹，打开
bin
文件夹，找到
,
打开
protege4.2
< br>，点击菜单栏
Reasoner
—
>Configure,
点
击
OWL
Viz
项
，
在
Dot
Application
P
ath
中
输
入
G:Studygraphviz2.26bindot
，
G:
Studygraphviz2.26
是安装目录。
三．中英文本体构建方法
a.
英文本体构建
< br>OWL
本体由
Individual
个体，
Properties
（
O
bject Properties
对象属性和
Data Pr
operties
数据属
性）属性或关联，
Class
类组成，三者分别和实例
Instances<
/p>
，扩展连接点
Slot
，类
Class
相通
信。
在
protégé
中最重要的就是
Classes
（
类）
，
Object Properties
（
对象属性或关联）
，
Data Properties
（数据属性）
，
Individuals<
/p>
（个体）这四个栏目。
OWL
Viz
类关系层次图，
DL Query
类查询或
简单推理，
OntoGraf
本体关系图，这三个栏目辅助进行构建本体。
?
Classes
类
它是个体的集合，如
class
fr
uit
，它可以是个体
apple
，<
/p>
banana
，
orange
等组成的集合。
SubclassOf
，
Equivalent
，
Disjoint
是类的三大
axiom
公理，可以理解为类
与类之间的关系：类
与类之间存在父子关系，即
supercl
ass
父类，
subclass
子类；
Equivalent class
相同类，主要用
于推理；
Disjoint
classes
互不相交关系，即一个个体不能同时属于两个类。在
protege
4.2
左
边部分可以分别
Add
subclass
创建子类，
Add sibling
class
创建兄弟类，
Delete selected c
lasses
删除选中类三个操作，右上部分的
Annotat
ions
（注释）对类进行注释，在简单本体构建中
用处不大。
右下方的
Description
（表达式，表现）非常重要。
lent
classes
相等类，用来定义与当前类相等等同的类，或
not
< br>class
不相等的类，主
要用来推理，如，
A,B
是
class
m
的个体，
class
n
是
class
m
的
Equivalent classes
< br>，则推理机
可以退出
A,B
也是
class n
的个体。
lasses
超类或父类，定义当前类的父类，限制类，打开
项目，选择
Object restriction
crea
tor
（创建对象限制）
，
选择
Restriction property
（
对象属性）
，
Restriction filler
（类）
，
Restriction
type
，
Some
存
在量词，
Only
全称量词，
Min<
/p>
基数量词最小值，
Max
基数量词最大值
,Exactly
基数量词准确值，这些是约束属性的条件，用
来限制对象属性的。如下图：
class Giraffe
长颈鹿
类
eat
（对象属性，谓词）
only
（全称量词，约束限制
eat
）
leaf
（叶子
类）
，
理解为一句话：
长颈鹿只吃叶子。
建立本体中，
通过类似的语句，
如他是我的朋友
（类
‘他’
，类‘我的朋友’
，对象属性‘是’名词型）
，大鱼吃
小鱼（类‘大鱼’
，类‘小鱼’
，
动词
‘吃’动宾型）
，中国直辖市是北京市，天津市，上海市，重庆市（集合型）等构建对<
/p>
象属性和类，
它可以将生活中的语句进行抽象，
< br>转化为计算机可以理解的语言，
然后推理机
就可以进行推
理。
ted anonymous classes
继承匿名类，继承父类，匿名类定义在父类中，被子类继承，
是子类的必
要条件，
上例中，
食草动物
Herbi
vore
在
Superclasses
定义了
eat only Plant
，
被子
类
Giraffe
继承，是子类
Giraffe
存在逻辑的必要条件。
s
成员，类中的个体，打开
Add <
/p>
individual
，可以添加个体，添加后从
Classes
转换
到
Ind
ividual
，可以得到相应类的个体，如下图增加
Gira
ffe
的一个
Members
，
wangwang
，
在类的
Individual
中可以找到
关键字，描述类的行为或属性。
nt classes
互不相交类，即不存在一个个体同时属于
两个
Disjoint class
，如下图，食草
动物
Herbivore
与食肉动物
carnivore
不相交，
定义类
Herbivore
的
Disjoint class
es
为
carnivore
，
则在类
carnivore
中的
Disjoint classes
显示为
Herbi
vore
，两个类互为
Disjoint
classes
。
nt union of
互不相交类
的集合，
即一个类的所有子类都不相交，
如，
< br>类
‘中国直辖市’
，
子类‘北京
市’
，
‘天津市’
，
< br>‘上海市’
，
‘重庆市’
，四个
子类均不相交，构成类‘中国直辖
市’
。
?
Object
Properties
对象属性
它用来连接两个个体，如上例中
class
Giraffe
长颈鹿类
eat
（对象属性，谓词）
only
（全称
量词，约束限制
eat
）
leaf
（叶子类）其中
eat
谓词就是已经定义的对象
属性，连接两个类
Giraffe
和
l
eaf
。在
protege4.2
中打
开
Object
Properties
，左边部分可以分别
Add sub
property
创建子属性，
Add sibling
property
创建兄弟属性，
Delete
selected properties
删除选中属性三
个操
作，右上部分的
Annotations
（注释）对属性进行注
释，
Usage
查看当前对象属性的使用
情况，如下图
发现四个使用记录
。
右下方的
Characteristic
（特征）
，
Description
（表达式，
表现）
非常重要。
Characteristic
（特征）
，
定义对象属性的性质，也可以称为函数属性，传递属性等。
1
Functional
函数性，当前对象属性标注了这个性质，说明该对象属性只能连接
一个个体。
如：我的最好的朋友是小张，两个类‘我’
，
‘小张’
，对象属性‘最好的朋友是’
我的最好的朋友是小王，两个类‘我’
，
‘小王’
，对象属性‘最好的朋友是’
，同时声明这两
个语句，如果定义对象属性‘最好的朋友是’为
Functional
函数性，那么可以推理出是小张
和小王是
同一个人。
2 Inverse functional
逆函数性，
是
Functional
函数性的反性质，
对于一个给定的个体，
只有
最
多一个个体能通过该属性连接那个个体。
如：
小张的最好的朋友是我，
小王的最好的朋友是
我，定义
对象属性‘最好的朋友是’为
Inverse functional
< br>逆函数性，那么可以推理出是小张
和小王是同一个人。
3 Transitive
传递性，
具
有传递性，
如：
A
大于
B,B
大于
C,
如果定义对象
属性
‘大于’
为
Transitive
传递性，那么可以推理出
A
大于
C.
4 Symmetric
对称性，两个
个体关系对称，如：
A
的同学是
B
，
B
的同学是
A<
/p>
，对象属性‘同
学’就具有
Symmet
ric
对称性。具有对称性，不能具有函数性和逆函数性，如：
A
的儿子是
B
，不能说成
B
的儿子是
A
。
5 Asymmetric
不对称性，
Symmetric
对称性的反。
6
Reflexive
自反性，自身与自身相关联。
7 Irreflexive
不自反性，
Reflexive
自反性的反。
Description
（表达式，表现）
1 Domain
定义域，或类型。如下图，
< br>eat
的定义域为
Animal
，即
Animai eat
something
。
2 Range
值域，如下图，
mai
nEat
的值域为
Animal
，即<
/p>
Something mainEat Animal
-
-
-
-
-
-
-
-
-
上一篇：孢子秘籍大全
下一篇：植物与动物的协同进化