protage手册.doc

 2013,01,28 :下载资源进行安装,环境变量配置:变量名Java_home,变量值G:\Study\ :安装时软件会自动检测java虚拟机环境,将jdk安装路径G:\Study\:\Study,。开始安装,选择安装路径,生成文件物理位置,continue即可。 安装graphviz-:下载资源进行安装,安装后生成bin,etc,include,,share五个文件夹,打开bin文件夹,,,点击菜单栏Reasoner—>Configure,点击OWL Viz项,在Dot Application Path中输入G:\Study\\bin\dot,G:\Study\。 个人收集整理勿做商业用途 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互不相交关系,即一个个体不能同时属于两个类。 subclass创建子类,Add sibling class创建兄弟类,Delete selected classes删除选中类三个操作,右上部分的Annotations(注释)对类进行注释,在简单本体构建中用处不大。右下方的Description(表达式,表现)非常重要。 classes相等类,用来定义与当前类相等等同的类,或not class不相等的类,主要用来推理,如,A,B是class m的个体, class n是class mEquivalent classes,则推理机可以退出A,B也是class n的个体。  超类或父类,定义当前类的父类,限制类,打开项目,选择Object restriction creator(创建对象限制),选择Restriction property(对象属性),Restriction filler(类),Restriction type,Some存在量词,Only全称量词,Min基数量词最小值,Max基数量词最大值,Exactly基数量词准确值,这些是约束属性的条件,用来限制对象属性的。如下图:个人收集整理勿做商业用途class Giraffe长颈鹿类eat(对象属性,谓词) only(全称量词,约束限制eat) leaf(叶子类),理解为一句话:长颈鹿只吃叶子。建立本体中,通过类似的语句,如他是我的朋友(类‘他’,类‘我的朋友’,对象属性‘是’名词型),大鱼吃小鱼(类‘大鱼’,类‘小鱼’,动词‘吃’动宾型),中国直辖市是北京市,天津市,上海市,重庆市(集合型)等构建对象属性和类,它可以将生活中的语句进行抽象,转化为计算机可以理解的语言,然后推理机就可以进行推理。  anonymous classes继承匿名类,继承父类,匿名类定义在父类中,被子类继承,是子类的必要条件,上例中,食草动物Herbivore在Superclasses定义了eat only Plant,被子类Giraffe继承,是子类Giraffe存在逻辑的必要条件。 ,类中的个体,打开Add individual,可以添加个体,添加后从Classes转换到Individual,可以得到相应类的个体,如