protege使用说明Word下载.docx
- 文档编号:13909475
- 上传时间:2022-10-15
- 格式:DOCX
- 页数:17
- 大小:1.47MB
protege使用说明Word下载.docx
《protege使用说明Word下载.docx》由会员分享,可在线阅读,更多相关《protege使用说明Word下载.docx(17页珍藏版)》请在冰豆网上搜索。
1)OWLViz不支持中文,添加中文,图像显示会重叠
2)没有ontograf功能块,总之不支持中文图像结果显示
3)使用OWLViz功能块,必须安装graphviz1.9版的
2.protege4.x版
1)自带推理机Fact++
2)有ontograf功能块,支持中文图像显示
3)相关教程比较全面
1)无法保存自带推理机的推理结果,至少我是没找到保存方法
2)OWLViz也不支持中文
3)软件界面用户体验不好,很多模块需要自己选择添加
4)使用OWLViz功能块,必须安装graphviz2.28版的
上面说了这么多你可能不知道选择哪个好。
那就列出几个关键的问题:
1.想使用OWLViz观察图像结果?
不管是3.x版还是4.x版都可以。
但是要注意一点,就是版本兼容问题;
个人推荐protege3.1配graphviz1.2或者protege4.1配graphviz2.28.
2.想使用推理机并更新原数据?
个人建议使用protege3.x,并使用RacerPro1.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,打开protege4.2,点击菜单栏Reasoner—>
Configure,点击OWLViz项,在DotApplicationPath中输入G:
\Study\graphviz2.26\bin\dot,G:
\Study\graphviz2.26是安装目录。
三.中英文本体构建方法
a.英文本体构建
OWL本体由Individual个体,Properties(ObjectProperties对象属性和DataProperties数据属性)属性或关联,Class类组成,三者分别和实例Instances,扩展连接点Slot,类Class相通信。
在proté
gé
中最重要的就是Classes(类),ObjectProperties(对象属性或关联),DataProperties(数据属性),Individuals(个体)这四个栏目。
OWLViz类关系层次图,DLQuery类查询或简单推理,OntoGraf本体关系图,这三个栏目辅助进行构建本体。
●Classes类
它是个体的集合,如classfruit,它可以是个体apple,banana,orange等组成的集合。
SubclassOf,Equivalent,Disjoint是类的三大axiom公理,可以理解为类与类之间的关系:
类与类之间存在父子关系,即superclass父类,subclass子类;
Equivalentclass相同类,主要用于推理;
Disjointclasses互不相交关系,即一个个体不能同时属于两个类。
在protege4.2左边部分可以分别Addsubclass创建子类,Addsiblingclass创建兄弟类,Deleteselectedclasses删除选中类三个操作,右上部分的Annotations(注释)对类进行注释,在简单本体构建中用处不大。
右下方的Description(表达式,表现)非常重要。
1.Equivalentclasses相等类,用来定义与当前类相等等同的类,或notclass不相等的类,主要用来推理,如,A,B是classm的个体,classn是classm的Equivalentclasses,则推理机可以退出A,B也是classn的个体。
2.Superclasses超类或父类,定义当前类的父类,限制类,打开项目,选择Objectrestrictioncreator(创建对象限制),选择Restrictionproperty(对象属性),Restrictionfiller(类),Restrictiontype,Some存在量词,Only全称量词,Min基数量词最小值,Max基数量词最大值,Exactly基数量词准确值,这些是约束属性的条件,用来限制对象属性的。
如下图:
classGiraffe长颈鹿类eat(对象属性,谓词)only(全称量词,约束限制eat)leaf(叶子类),理解为一句话:
长颈鹿只吃叶子。
建立本体中,通过类似的语句,如他是我的朋友(类‘他’,类‘我的朋友’,对象属性‘是’名词型),大鱼吃小鱼(类‘大鱼’,类‘小鱼’,动词‘吃’动宾型),中国直辖市是北京市,天津市,上海市,重庆市(集合型)等构建对象属性和类,它可以将生活中的语句进行抽象,转化为计算机可以理解的语言,然后推理机就可以进行推理。
3.Inheritedanonymousclasses继承匿名类,继承父类,匿名类定义在父类中,被子类继承,是子类的必要条件,上例中,食草动物Herbivore在Superclasses定义了eatonlyPlant,被子类Giraffe继承,是子类Giraffe存在逻辑的必要条件。
4.Members成员,类中的个体,打开Addindividual,可以添加个体,添加后从Classes转换到Individual,可以得到相应类的个体,如下图增加Giraffe的一个Members,wangwang,在类的Individual中可以找到
5.Keys关键字,描述类的行为或属性。
6.Disjointclasses互不相交类,即不存在一个个体同时属于两个Disjointclass,如下图,食草动物Herbivore与食肉动物carnivore不相交,定义类Herbivore的Disjointclasses为carnivore,则在类carnivore中的Disjointclasses显示为Herbivore,两个类互为Disjointclasses。
7.Disjointunionof互不相交类的集合,即一个类的所有子类都不相交,如,类‘中国直辖市’,子类‘北京市’,‘天津市’,‘上海市’,‘重庆市’,四个子类均不相交,构成类‘中国直辖市’。
●ObjectProperties对象属性
它用来连接两个个体,如上例中classGiraffe长颈鹿类eat(对象属性,谓词)only(全称量词,约束限制eat)leaf(叶子类)其中eat谓词就是已经定义的对象属性,连接两个类Giraffe和leaf。
在protege4.2中打开ObjectProperties,左边部分可以分别Addsubproperty创建子属性,Addsiblingproperty创建兄弟属性,Deleteselectedproperties删除选中属性三个操作,右上部分的Annotations(注释)对属性进行注释,Usage查看当前对象属性的使用情况,如下图
发现四个使用记录。
右下方的Characteristic(特征),Description(表达式,表现)非常重要。
Characteristic(特征),定义对象属性的性质,也可以称为函数属性,传递属性等。
1Functional函数性,当前对象属性标注了这个性质,说明该对象属性只能连接一个个体。
如:
我的最好的朋友是小张,两个类‘我’,‘小张’,对象属性‘最好的朋友是’
我的最好的朋友是小王,两个类‘我’,‘小王’,对象属性‘最好的朋友是’,同时声明这两个语句,如果定义对象属性‘最好的朋友是’为Functional函数性,那么可以推理出是小张和小王是同一个人。
2Inversefunctional逆函数性,是Functional函数性的反性质,对于一个给定的个体,只有最多一个个体能通过该属性连接那个个体。
小张的最好的朋友是我,小王的最好的朋友是我,定义对象属性‘最好的朋友是’为Inversefunctional逆函数性,那么可以推理出是小张和小王是同一个人。
3Transitive传递性,具有传递性,如:
A大于B,B大于C,如果定义对象属性‘大于’为Transitive传递性,那么可以推理出A大于C.
4Symmetric对称性,两个个体关系对称,如:
A的同学是B,B的同学是A,对象属性‘同学’就具有Symmetric对称性。
具有对称性,不能具有函数性和逆函数性,如:
A的儿子是B,不能说成B的儿子是A。
5Asymmetric不对称性,Symmetric对称性的反。
6Reflexive自反性,自身与自身相关联。
7Irreflexive不自反性,Reflexive自反性的反。
Description(表达式,表现)
1Domain定义域,或类型。
如下图,eat的定义域为Animal,即Animaieatsomething。
2Range值域,如下图,mainEat的值域为Animal,即SomethingmainEatAnimal
属性连接的是定义域的个体到值域的个体,对象属性的定义域和值域主要用来推理。
3Equivalentobjectproperties相等对象属性,定义与当前对象属性相等的对象属性。
4Superproperties超属性,父属性,如上例中,mainEat的Superproperties就是eat。
5Inverseproperties逆属性,上例中eat与eated互逆,对象属性的定义域与值域相反,如图
6Didjointproperties互不相交属性,两个属性没有交集。
7Propertychains属性链。
●DataProperties数据属性
它用来连接个体和XMLSchema数据类型值或rdfliteral,该属性不能为传递的,对称的,反函数的,可以为函数的。
如张三的电话号码是123456,数据属性‘电话号码’
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- protege 使用说明