protege使用说明.

Protege软件使用说明一．Protege系统版本介绍与分析最常用的Protege版本主要有两个，我们分别介绍他们的优缺点

1.protege 3.x版

优点：

1）这个版本的用户体验比较好，没4.x版的那么别扭

2）支持RacerPro推理机，能保存推理结果

3）能对中文进行推理

4）相关教程比较全面

缺点：

1）OWLViz不支持中文，添加中文，图像显示会重叠

2）没有ontograf功能块，总之不支持中文图像结果显示

3）使用OWLViz功能块，必须安装graphviz 1.9版的

2.protege 4.x版

优点：

1）自带推理机Fact++

2）有ontograf功能块，支持中文图像显示

3）相关教程比较全面

缺点：

1）无法保存自带推理机的推理结果，至少我是没找到保存方法

2）OWLViz也不支持中文

3）软件界面用户体验不好，很多模块需要自己选择添加

4）使用OWLViz功能块，必须安装graphviz 2.28版的

上面说了这么多你可能不知道选择哪个好。那就列出几个关键的问题：

1.想使用OWLViz观察图像结果？

不管是3.x版还是4.x版都可以。但是要注意一点，就是版本兼容问题；个人推荐protege3.1配graphviz 1.2 或者protege4.1配graphviz2.28.

2.想使用推理机并更新原数据？

个人建议使用protege3.x，并使用RacerPro 1.9版安装版。虽然protege4.x版自带推理机也能推理，但是保存结果更新原数据没法实现，至少我是整了很久都没实现。这也是我不喜欢使用4.x的原因，用户体验比较差。

3.想支持中文，在绘图区显示图像结构？

这个就必须使用4.x版了，也只能在4.x版的ontograf功能块才能看到图像结构，而在OWLViz 会出现图像重叠；不过在这也弱弱的吐槽一下，ontograf显示的图像结构效果并不是很理想，个人觉得做的很差。

总结：

上面讲了这么多，相信你也有自己的选择了。但是我个人觉得啊！还是使用protege3.x版更好，当然前提是你对OWLViz显示中文并不是很需要的前提下；除去这个因素，protege3.x 版还是蛮不错的，软件界面使用舒服，可以保存推理机推理结果；而且在class中定义中文也可以推理。

我们选用的版本：

因为我们在做英文本体的时候还要有对应的中文本体的创建与显示，因此我们选用Protege4.2，graphviz-2.26进行实验。

二．Protege4.2系统安装说明

1.安装JDK1.6：下载资源进行安装，环境变量配置：变量名protege_home，变量值G:\Study\JDK1.6

2.安装protege_4.2_alpha：安装时软件会自动检测protege虚拟机环境，将jdk安装路径G:\Study\JDK1.6下jre文件复制到G:\Study，即与JDK1.6文件夹同一级。开始安装，选择安装路径，生成文件物理位置，continue即可。

3.安装graphviz-2.28插件：下载资源进行安装，安装后生成bin，etc，include，lib，share五个文件夹，打开bin文件夹，找到dot.exe,打开protege

4.2，点击菜单栏Reasoner—>Configure,点击OWL Viz项，在Dot Application Path中输入G:\Study\graphviz2.26\bin\dot，G:\Study\graphviz2.26是安装目录。

三．中英文本体构建方法

a.英文本体构建

OWL本体由Individual个体，Properties（Object Properties对象属性和Data Properties数据属性）属性或关联，Class类组成，三者分别和实例Instances，扩展连接点Slot，类Class相通信。

在protégé中最重要的就是Classes（类），Object Properties（对象属性或关联），Data Properties （数据属性），Individuals（个体）这四个栏目。OWL Viz类关系层次图，DL Query类查询或简单推理，OntoGraf本体关系图，这三个栏目辅助进行构建本体。

Classes类

它是个体的集合，如class fruit，它可以是个体apple，banana，orange等组成的集合。SubclassOf，Equivalent，Disjoint是类的三大axiom公理，可以理解为类与类之间的关系：类与类之间存在父子关系，即superclass父类，subclass子类；Equivalent class相同类，主要用于推理；Disjoint classes互不相交关系，即一个个体不能同时属于两个类。在protege4.2左边部分可以分别Add subclass创建子类，Add sibling class创建兄弟类，Delete selected classes

删除选中类三个操作，右上部分的Annotations（注释）对类进行注释，在简单本体构建中用处不大。右下方的Description（表达式，表现）非常重要。

1.Equivalent classes相等类，用来定义与当前类相等等同的类，或not class不相等的类，主要用来推理，如，A,B是class m的个体，class n是class m的Equivalent classes，则推理机可以退出A,B也是class n的个体。

2.Superclasses 超类或父类，定义当前类的父类，限制类，打开项目，选择Object restriction creator（创建对象限制），选择Restriction property（对象属性），Restriction filler（类），Restriction type，Some存在量词，Only全称量词，Min基数量词最小值，Max基数量词最大值,Exactly 基数量词准确值，这些是约束属性的条件，用来限制对象属性的。如下图：