protage42手册.doc

PAGE23 /total NUMPAGES23 Protege4.2使用说明 ? 2013,01,28?安装JDK1.6：下载资源进行安装，环境变量配置：变量名Java_home，变量值G:\Study\JDK1.6?安装protege_4.2_alpha：安装时软件会自动检测java虚拟机环境，将jdk安装路径G:\Study\JDK1.6下jre文件复制到G:\Study，即与JDK1.6文件夹同一级。开始安装，选择安装路径，生成文件物理位置，continue即可。 ?安装graphviz-2.26插件：下载资源进行安装，安装后生成bin，etc，include，，share五个文件夹，打开bin文件夹，找到dot.exe,打开protege4.2，点击菜单栏Reasoner—Configure,点击OWL?Viz项，在Dot?Application?Path中输入G:\Study\graphviz2.26\bin\dot，G:\Study\graphviz2.26是安装目录。? ?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基数量词准确值，这些是约束属性的条件，用来限制对象属性的。如下图： class?Giraffe长颈鹿类eat（对象属性，谓词）?only（全称量词，约束限制eat）?leaf（叶子类），理解为一句话：长颈鹿只吃叶子。建立本体中，通过类似的语句，如他是我的朋友（类‘他’，类‘我的朋友’，对象属性‘是’名词型），大鱼吃小鱼（类‘大鱼’，类‘小鱼’，动词‘吃’动宾型），中国直辖市是北京市，天津市，上海市，重庆市（集合型）等构建对象属性和类，它可以将生活中的语句进行抽象，转化为计算机可以理解的语言，然后推理机就可以进行推理。? 3.Inherited?anonymous?classes继承匿名类，继承父类，匿名类定义在父类中，被子类继承，是子类的必要条件，上例中，食草动物Herbivore在Superclasses定义了eat?only?Plant，被子类Giraffe继承，是子类Giraffe存在逻辑的必要条件。? 4.Members成员，类中的个体，打开Add?individual，可以添加个体，添加后从Classes转换到Individual，可以得到相应类的个体，如下图增加Giraffe的一个Members?，wangwang，在类的Individua