protege使用说明

1、protege软件使用说明protege系统版本介绍与分析最常用的protege版本主要有两个，我们分别介绍他们的优缺点1 .protege 3.x 版优点：1）这个版本的用户体验比较好，没4.x版的那么别扭2）支持racerpro推理机，能保存推理结果3）能对中文进行推理4）相关教程比较全面缺点：l）owlviz不支持中文，添加中文，图像显示会重叠2）没有ontograf功能块，总之不支持中文图像结果显示3）使用owlviz功能块，必须安装graphvizl.9版的2.protege 4.x 版优点:1）自带推理机fact+2）有ontograf功能块，支持中文图像显示3）相关教程比较全面缺

2、点：1）无法保存自带推理机的推理结果，至少我是没找到保存方法2） owlviz也不支持中文3）软件界面用户体验不好，很多模块需要自己选择添加4）使用owlviz功能块，必须安装graphviz2.28版的上面说了这么多你可能不知道选择哪个好。那就列出几个关键的问题：1 .想使用owlviz观察图像结果？不管是3.x版还是4.x版都可以。但是要注意一点，就是版本兼容问题；个人推荐protege3.1 配 graphviz 1.2 或者 protege4.1 配 graphviz2.28.2 .想使用推理机并更新原数据？个人建议使用protege3.x,并使用racerpro 1.9版安装版。虽然

3、protege4.x版自带推理机也 能推理，但是保存结果更新原数据没法实现，至少我是整了很久都没实现。这也是我不喜欢 使用4.x的原因，用户体验比较差。3 .想支持中文，在绘图区显示图像结构？这个就必须使用4.x版了，也只能在4.x版的ontograf功能块才能看到图像结构，而在owlviz 会出现图像重叠：不过在这也弱弱的吐槽一下，ontograf显示的图像结构效果并不是很理想, 个人觉得做的很差。总结：上面讲了这么多，相信你也有自己的选择了。但是我个人觉得啊！还是使用protege3.x版更 好，当然前提是你对owlviz显示中文并不是很需要的前提下；除去这个因素，protege3.x 版

4、还是蛮不错的，软件界面使用舒服，可以保存推理机推理结果；而且在class中定义中文 也可以推理。我们选用的版本：因为我们在做英文本体的时候还要有对应的中文本体的创建与显示，因此我们选用 protege4.2, graphviz-2.26 进行实验。二.protege4.2系统安装说明1 安装jdk1.6：下载资源进行安装，环境变量配置：变量名protege_home,变量 值 g:studyjdk1.62 .安装 protege_4.2_alpha ：安装时软件会自动检测protege虚拟机环境， 将jdk安装路径g:studyjdk1.6 f jre文件更制到g:study,即与jdk1.6

5、文件夹同一级。开 始安装，选择安装路径，生成文件物理位置，continue即可。3 .安装 graphviz-2.28 插件:下载资源进行安装，安装后生成bin, etc, include, lib, share五个文件夹，打开bin文件夹，找到dot.exe,打开protege4.2,点击菜单栏 reasonerconfigure, 点击 owl viz 项，在 dot application path 中输入 g:studygraphviz2.26bindot, g:studygraphviz2.26 是安装目录。三.中英文本体构建方法a.英文本体构建owl 本体由 individual

6、个体，properties （object properties 对象属性和 data properties 数据属 性）属性或关联，class类组成，三者分别和实例instances,扩展连接点slot,类class相通 信。在 protege 中最重要的就是 classes（类），object properties（对象属性或关联），data properties （数据属性），individuals （个体）这四个栏目。owl viz类关系层次图，dl query类查询或 简单推理，ontograf本体关系图，这三个栏目辅助进行构建本体。 classes 类它是个体的集合,如class

7、fruit,它可以是个体apple, banana, orange等组成的集合。subclassof, equivalent, disjoint是类的三大axiom公理，可以理解为类与类之间的关系:类 与类之间存在父子关系,即superclass父类，subclass子类;equivalent class相同类，主要用 于推理；disjoint classes互不相交关系，即一个个体不能同时属于两个类。在protege4.2左 边部分可以分别 add subclass 创建子类，add sibling class 创建兄弟类，delete selected classes 删除选中类三个操作，

8、右上部分的annotations （注释）对类进行注释，在简单本体构建中 用处不大。右下方的description （表达式，表现）非常重要。l.equivalent classes相等类,用来定义与当前类相等等同的类,或not class不相等的类，主 要用来推理，如，a,b是class m的个体，class n是class m的equivalent classes,则推理机 可以退出a,b也是class n的个体。2.superclasses超类或父类，定义当前类的父类，限制类，打开项目，选择object restriction creator（创建对象限制），选择 restriction

9、 property（对象属性），restriction filler（类），restriction type, some存在量词，only全称量词，min基数量词最小值,max基数量词最大值,exactly 基数量词准确值，这些是约束属性的条件，用来限制对象属性的。如下图：class giraffe长颈鹿类eat （对象属性，谓词）only （全称量词,约束限制eat） leaf （叶子 类），理解为一句话：长颈鹿只吃叶子。建立本体中，通过类似的语句，如他是我的朋友（类 他，类我的朋友，对象属性是名词型），大鱼吃小鱼（类大鱼，类小鱼，动词吃动宾型），中国直辖市是北京市，天津市，上海市，重庆市（

10、集合型）等构建对 象属性和类，它可以将生活中的语句进行抽象，转化为计算机可以理解的语言，然后推理机 就可以进行推理。1.1 nherited anonymous classes继承匿名类，继承父类，匿名类定义在父类中，被子类继承， 是子类的必要条件,上例中，食草动物herbivore在superclasses定义了 eat only plant,被子 类giraffe继承，是子类giraffe存在逻辑的必要条件。4 .members成员，类中的个体，打开add individual,可以添加个体,添加后从classes转换 到individual,可以得到相应类的个体,如下图增加giraffe

11、的一个members ， wangwang, 在类的individual中可以找到“1 iw66747$4$ hw*-*-t*rticabkm s rmwooe olm1 匕山aavecrioefrcssw ct*ahcoerve4b266t41s4suj c. anivml herbivore oirk carnivore honptam trw .branch “oo. oc0klkmotf747s4scjp；方 f :j-c bfrtawcmum0b4 2.g o5 .keys关键字，描述类的行为或属性。6 .disjoint classes互不相交类,即不存在一个个体同时属于两个dis

12、joint class,如下图,食草 动物 herbivore 与食肉动物 carnivore 不相交，定义类 herbivore 的 disjoint classes 为 carnivore, 则在类 carnivore 中的 disjoint classes 显示为 herbivore,两个类互为 disjoint classeso0 oto4ogyus9266t47s4s . hirc ., m3 1：.。g、1c.file edr vtew reaiccer toob retawx wndow he0jedpropenes osts ft-openes annotaxn fl：gdm

13、injnduae owlvix xquerycnlograforrtoagy differ eccw困回国 thinganimal herbivore giraffe carnivore二hon plant-tree,stort reawner 6 show tierenc”herbivoredgolnl union c4 q7 .disjoint union of互不相交类的集合，即一个类的所有子类都不相交，如，类中国直辖市， 子类北京市，天津市，上海市，重庆市，四个子类均不相交，构成类中国直辖 市， object properties 对象属性它用来连接两个个体，如上例中class gir

14、affe长颈鹿类eat （对象属性，谓词）only （全称 量词，约束限制eat） leaf （叶子类）其中eat谓词就是已经定义的对象属性，连接两个类giraffe 和 leafo 在 protege4.2 中打开 object properties,左边部分可以分别 add sub property 创建子属性，add sibling property创建兄弟属性，delete selected properties删除选中属性三 个操作，右上部分的annotations （注释）对属性进行注释，usage查看当前对象属性的使用 情况，如下图。 ontt4ogyus92g674t545二-

15、c 31m .，:,yc. flie edr vtew reaicrer toob reiactor vjndow he03 o g 0恤51359288747545 1actve cctotogy enbbes ciasiw|/ object prwces data moperies m injivduas 07/lvc dc query cntograf orrtoofly offerctm property mar-partci top9characfemoiojabsinvifm fukttor :syiewz to use the reasoner del. rebsoner-sta

16、rt reawner 6 show nerencesattd ispinof发现四个使用记录。右下方的characteristic （特征）,description （表达式,表现）非常重要。 characteristic （特征），定义对象属性的性质，也可以称为函数属性，传递属性等。1 functional函数性，当前对象属性标注了这个性质，说明该对象属性只能连接一个个体。 如：我的最好的朋友是小张，两个类我，小张，对象属性最好的朋友是 我的最好的朋友是小王，两个类我，小王，对象属性最好的朋友是，同时声明这两 个语句，如果定义对象属性最好的朋友是为functional函数性，那么可以推理出是

17、小张 和小王是同一个人。2 inverse functional逆函数性，是functional函数性的反性质，对于一个给定的个体，只有最 多一个个体能通过该属性连接那个个体。如：小张的最好的朋友是我，小王的最好的朋友是 我,定义对象属性最好的朋友是为inverse functional逆函数性，那么可以推理出是小张 和小王是同一个人。3 transitive传递性，具有传递性，如：a大于b,b大于c,如果定义对象属性大于为transitive 传递性，那么可以推理出a大于c.4 symmetric对称性，两个个体关系对称，如：a的同学是b, b的同学是a,对象属性同学就具有symmetric

18、对称性。具有对称性，不能具有函数性和逆函数性，如：a的儿子是b,不能说成b的儿子是a。5 asymmetric不对称性，symmetric对称性的反。6 reflexive自反性，自身与自身相关联。7 irreflexive不自反性,reflexive自反性的反。description （表达式,表现）1 domain定义域，或类型。如下图,eat的定义域为animal,即animai eat something。file edt vfc-w reasoner toob reiactoc wndow h2co 03m 13s9286747545 hi%y otjed propeciss dat

19、a ft-opeces annohxn pfwrbw inen duae ov/lviz dl query cntografom3ooy differer.ce5m actvecrtofcy enters classesto use ：he r-asoner del. reasoner-stort reawner 6 show nrences2 range 值域，如 2图,maineat 的值域为 animal,即 something maineat animalo e octotogyl3s9266t47545b wqrc% . ： 1ioc.1：o .file edr view reasg

20、cer toob reiacc wndow he0 o ontctog/1359288747545 ；2o，aoito4o9 题 013dqnh0!)y 1 j59266?4?545三 actvecntofcy entcei cibsvw | object proqertiss data rvopecej annotaxn ft：wb indrvduac 07/lvc x query ontograf oeodoy6ff”=.encc5annotabcra uwguxk. nuinutubhb：found 4 uses of maineat ( carnivorecarnivore subcl

21、assof maineat only animal maineat maineat subproprtyof ealmaineat range animal,ob ectpropmaineatto use the rwsoner del. restart reawner 6 show licences属性连接的是定义域的个体到值域的个体，对象属性的定义域和值域主要用来推理。3 equivalent object properties相等对象属性，定义与当前对象属性相等的对象属性。4 super properties 超属性，父属性，如上例中，maineat 的 super properties

22、 就是 eat。5 inverse properties逆属性，上例中eat与eated互逆，对象属性的定义域与值域相反，如图 ont04ogyus9266t4ts4s ： 一 h-in in cq、t . cv.file edr view reasgcer toob reiacc wndow he0surt reawner 6 show tierences6 didjoint properties互不相交属性，两个属性没有交集。7 property chains 属性链。0ejectdata fropertes cjinotaion ft:pert ind duas ov/lvii k qu

23、ery ontograf omodgyfundwnal匕0卬0*9招201305即叫1版7005623 owlclmiscfbw第的曲 dbh0teldata properties 数据属性 它用来连接个体和xml schema数据类型值或rdf literal,该属性不能为传递的，对称的，反函 数的，可以为函数的。如张三的电话号码是123456,数据属性电话号码连接个体张 三和数据123456.在protege4.2中打开data properties,左边部分可以分别add sub property 创建子属性，add sibling property 创建兄弟属性,delete sele

24、cted properties 删除选 中属性三个操作，右上部分的annotations （注释）对属性进行注释，说明数据属性的内容, 如卜图，数据属性address的annotations comment为地址。 gntoiogyns9266747s4s r “七. 一 ,”。,.二，二；y a 一file edt view reasocer toob rdaeix wndow he0 m adf/ecntota2y ntt)es clanntopdataproperty addressto use ：he reasoner o3reasoner-：-start r?awner6 show

25、ntrences右下方的characteristic （特征），description （表达式,表现）非常重要。characteristic （特征）与object properties相比只有functional函数性一项，这是由于它连接的是个体和xml schema数据类型值或rdf literal odescription （表达式,表现）1 domain定义域2 range值域,从上图中可以看到address的domain为zoo,值域为string,即zoo动物园的 个体具有地址数据属性，其值的类型是string数据类型。3 equivalent properties相等数据属性，

26、定义与当前数据属性相等的数据属性。4 super properties超属性，父属性。5 disjoint properties互不相交属性，两个属性没有交集。individuals 个体 它可以理解为类的实例化，或者类的成员。在protege4.2中打开individual,左边部分是类 的层次关系图，可以分别add subclass创建子类，add sibling class创建兄弟类，delete selected classes删除选中类三个操作，中间部分members list成员列表，可以分别add individual fi1 建个体，delete individual删除个体，

27、右上部分的annotations （注释）对个体进行注释，usage 查看当前个体的使用情况,如下图,类zoo有三个个体,分别为beijing, shanghai, tianjing,shanghai个体有6条使用记录。右下方的description （表达式,表现），property assertions （属性声明）非常重要。description （表达式,表现）1 types,类，上图中个体shanghai的types就是这个个体属于的类zoo。2 same individuals 相同个体3 different individuals 不相同个体property assertions

28、 （属性声明）需要手工进行操作。1 object property assertions对象属性声明，使用对象属性连接另一个个体。2 data property assertions数据属性声明，使用数据对象连接一个数据值。上例中，个体 shanghai的数据属性tel的值为02045412,数据属性address的值为shanghaishi。添加 个体的数据属性手工进行添加。3 negative object property asseritions 否定对象属性声明。4 negative data property asseritions 否定数据属性声明。owl viz类关系层次图，使用

29、前需确认本机已经安装graphviz在protege4.2中打开owl viz,选中class thing,鼠标移到右边区域,右键show class,选择radius （半径，范围），即父类子类的层次，0k即可，如下图please select a class, radius;the clas.s radius, specifies the number o1 levelsof parents anwochildren.class. radius:3 0-apply to： 商 parents and childreno parents onlyo children onlyok cance

30、lasserted model声明模型，即使定义的模型，inferred model推理后的模型，即定义的模型经 过推理机进行推理后的模型，进行好杂推理时需要安装相关插件才能实现。dl query类查询或简单推理在protege4.2中打开dl query,右上方query查询，输入查询内容，然后点击菜单栏的reasoner 推理-start reasoner,选中推理机 fact+或 hermit13.5,然后 execute 执行，在下 方的query results输出查询结果。如下图,输入tree,输入 not tree ontc-j-ogyl359266747545 (httpc/v

31、%w,/.&mantcy/elqrg/ontolqgie5z2013/d7ontalqgyl359266747545.w/l)file edr view rea 的 er toob retacxr wndovi h23 o 。3w359286747545，之.。吸喙共2013*023即gy1j5%6747545 owl)07/lviz | 0(. query cntogcaf orrtotooy differeccwactve crtotay enfcbes classiobject pn39cinavduakresszcer adve v sb&w hferecces右下方的选项对输出结果进

32、行控制。选中super classes显示父类，ancestor classes显示祖先 类，equivalent classes 显示相同类,subclasses 显示子类,descendant classes 后代类，individuals 显示类的个体。ontograf本体关系图在protege4.2中打开ontograf,依次点击左边部分所有的父类子类，在右边部分显示出所有类的关系，如下图在search搜索栏中输入内容，进行搜索，显示与搜索内容相关的关系图，可以搜索类，个体，如下图,search leafeq ontologyl359266747545 (http/;,心krrone/

33、eb5g/ontolqgie，/,201l3/0,0ntolqgyl359266747545q) :un【通洸momoi。亦式0ngogyl35.一file edr view reascflef tooh reiacw wndow 2es classes odct prwrtes data ft-opertes annota：on fr：ped ndtvduae 07/lviz x query cntograf orrtoogy offerencwresszner acive * sh&w hferencwsearch beijing,类zoo动物园有三个个体beijing, shanghia, tianjin,类giaffe长颈鹿有三个个体,分别属于beijing, shanghai, tianjin,类lion有三个个体，分别属于beijing, shanghai.tianjin,查询 beijing,如下图ontograf类似于uml的构图，可以用来进行本体的检测，修改，查询。b.中文本体创建中文本体的创建与英文本体的过程基本类似，只是在名称输入时换成相应的中文字符就可以 了，其他标签的功能一样，只是可能在图形显示，中文名称显示，文件保存时候，会有不同 的乱码