protege使用说明

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

2、: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版安装版。虽然

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

4、的，软件界面使用舒服，可以保存推理机推理结果；而且在class中定义中文也可以推理。我们选用的版本:因为我们在做英文本体的时候还要有对应的中文本体的创建与显示，因此我们选用Protege4.2， graphviz-2.26 进行实验。Protege4.2系统安装说明1.安装 JDK1.6 :下载资源进行安装，环境变量配置：变量名 protege_home，变量值 G:StudyJDK1.62.安装 Protege_4.2_aIpha :安装时软件会自动检测 protege虚拟机环境,将jdk安装路径 G:StudyJDK1.6下jre文件复制到 G:Study，即与JDK1.6文件夹同一级。开

5、始安装，选择安装路径，生成文件物理位置,continue 即可。3.安装 graphviz-2.28插件：下载资源进行安装，安装后生成bin,etc,include.lib， share五个文件夹，打开bin文件夹，找到 dot.exe,打开 protege4.2，点击菜单栏Reas on er>C on figure,点击OWL Viz 项，在 Dot AppI icationP ath中输入G:Studygra phviz2.26bi ndot ，G:Studygraphviz2.26 是安装目录。中英文本体构建方法a.英文本体构建OWL 本体由 In dividual 个体，Pro

6、p erties( Object Prop erties 对象属性和 Data Prop erties 数据属性）属性或关联，Class类组成，三者分别和实例Instances,扩展连接点Slot，类Class相通信。在prot e g中最重要的就是 Classed类），Object Properties （对象属性或关联），Data Properties（数据属性），Individuals （个体）这四个栏目。OWL Viz类关系层次图，DL Query类查询或简单推理，OntoGraf本体关系图，这三个栏目辅助进行构建本体。Classes类它是个体的集合，如 class fruit，它可以

7、是个体apple , banana, orange等组成的集合。SubclassO, Equivale nt, Disjoi nt是类的三大axiom公理，可以理解为类与类之间的关系：类与类之间存在父子关系，即sup erclass父类，subclass子类；Equivale nt class相同类，主要用Protege4.2 左于推理；Disjoint classes互不相交关系，即一个个体不能同时属于两个类。在边部分可以分别 Add subclass 创建子类，Add sibling class 创建兄弟类，Delete selected classes删除选中类三个操作，右上部分的Ann

8、otations （注释）对类进行注释，在简单本体构建中用处不大。右下方的 Description （表达式，表现）非常重要。I.Equivale nt classes相等类，用来定义与当前类相等等同的类，或not class不相等的类，主要用来推理，如， A,B是class m的个体，class n是class m的Equivale nt classes,则推理机可以退出A,B也是class n的个体。2.SU perclasses超类或父类，定义当前类的父类，限制类，打开项目，选择Object restrictioncreato(创建对象限制)，选择 Restriction propert

9、y (对象属性)Restriction filler (类)Restrictiontype , Some存在量词，Only全称量词，Min基数量词最小值，Max基数量词最大值,Exactly基数量词准确值，这些是约束属性的条件，用来限制对象属性的。如下图:圖 Giraffe 1Object restrichof) cr&ator | Data restriction creator | Class expression tdAcr Clasa tiierarchy Resli'ictetll propertyRaitrnLLlQ'； "to pO bjectP

10、 ropertyzted "(sPartOf O Thing 审 OAnimal O Herbivore(J Giraffe O carnivore Olion T OPlantL Tree I branch leafRestriction typeonly (unhjgrsal)CardiiBlity mirrtclass Giraffe长颈鹿类eat （对象属性，谓词） only （全称量词，约束限制eat） leaf （叶子Piim* UNti T Anluil » Z Hw-Uvn-* umlw* *lhn类），理解为一句话：长颈鹿只吃叶子。建立本体中，通过类似的语

11、句，如他是我的朋友（类'他，类我的朋友，对象属性是名词型），大鱼吃小鱼（类大鱼，类小鱼， 动词吃动宾型），中国直辖市是北京市，天津市，上海市，重庆市（集合型）等构建对象属性和类，它可以将生活中的语句进行抽象，转化为计算机可以理解的语言，然后推理机 就可以进行推理。3.1 nherited anonymous classes继承匿名类，继承父类，匿名类定义在父类中，被子类继承,是子类的必要条件，上例中，食草动物 Herbivore在Sup erclasses定义了 eat only P la nt，被子类Giraffe继承，是子类 Giraffe存在逻辑的必要条件。4.Members成员

12、，类中的个体，打开 Add in dividual，可以添加个体，添加后从Classes转换到In dividual，可以得到相应类的个体，如下图增加Giraffe的一个Members ，wan gwa ng，在类的In dividual中可以找到Il-Hnonip IfevfIT - I Ml UIVLH VbrvKhL-. V L： 澤p I*T VAnlMil» * HarUvn-ri lumlw*lhnT BPUrrttKVKh I”T An出I4 Lmlvan liMT Plant5.Keys关键字，描述类的行为或属性。Disjoi nt class，如下图，食草6.Dis

13、joi nt classes互不相交类，即不存在一个个体同时属于两个动物 Herbivore 与食肉动物 carnivore 不相交，定义类 Herbivore 的 Disjoint classes 为 carnivore，贝y在类 carnivore 中的 Disjoint classes 显示为 Herbivore，两个类互为 Disjoint classes。 Aninil HTicinh nini划* : »叭T Afllrwl H.rWS umlvwt *lhnT BMirrtVbrwKh*lfeVlt Ffc Edt Vew FleaxDnEf TmK HeTx WMcw

14、 HEi -|q|* On|obfly1MS£66TT54E h，h -? rAnnT* 叭 Ir'W-.一T .-BEMeI- AjctiivOntnlouv EnUm CbssEi Otd PrapertKi | DaId hnperci | Annobibor A-operbn | Mtwluita f -OHLViz fit Qucrv | OntoGral DnlDtaiiy IhrinncEX邛:川引T ” 711T «Anin)|! T ViHtrMvor*! ! i Ginffej a -V carnivore°° lion

15、87; PUnt:f: brtnth leifUii- :nDijj,7 JS. <1 HtrblvortPiRjr "7 iiQn 5T*M3f m* niflionrcM ftMflQntf廿虫门 rn勺如朴 Vhlwin*7.Disjoint union of互不相交类的集合,即一个类的所有子类都不相交,如，类中国直辖市，子类北京市，天津市，上海市，重庆市，四个子类均不相交，构成类中国直辖市'。Object Properties 对象属性它用来连接两个个体，如上例中class Giraffe长颈鹿类eat （对象属性，谓词）only (全称量词，约束限制 eat）

16、 leaf （叶子类）其中eat谓词就是已经定义的对象属性，连接两个类Giraffe 和 leaf。在 protege4.2 中打开 Object Properties，左边部分可以分别Add sub property创建子属性，Add sibling property创建兄弟属性，Delete selected properties删除选中属性三Usage查看当前对象属性的使用个操作，右上部分的 Annotations （注释）对属性进行注释,情况，如下图匚户址 Edt Vew RjeainnEf loih nclbcbx MMcw匚 lei 野 On|obfly1M4ffi&TT5

17、4E liftr E - i"i AjctniOnftilo®- j Enltm- | CtasxEi | 0町cl Pnipertiei伽旧 mpertei | 4nn«Jbo匚 ftoperba j hdhidutta f -OWLVlz | AL Query j| OntoGral OnlDkiiiy (ht+nneesObeclimperty h忙THrctiy HRrwOrT -pObieetPraperty> *处""wiAlnEjn:j-"isPartOfISPaw.R E 3 dtofcnlT Found4 us

18、esol isPartT-ijbrjiiKli* branch SubCtattOf isPartOT wily TreeAfbilionhT-ItPjrtOfM .丨 r , isPgrtOf Tonsrtive: tPartOfT 俺宙_tIeaF SubCI且&弓OFisPMlOf only branchFundcnniDo mdir&-|inlpn4cLj on；'rnp厂 ilnh-repchn；! | :Synmetne ”；厂发现四个使用记录。 右下方的Characteristic （特征），Description （表达式，表现）非常重要。Charact

19、eristic （特征），定义对象属性的性质，也可以称为函数属性，传递属性等。1 Functional函数性，当前对象属性标注了这个性质，说明该对象属性只能连接一个个体。如：我的最好的朋友是小张，两个类我'，小张，对象属性最好的朋友是'我的最好的朋友是小王，两个类我'，'小王，对象属性最好的朋友是，同时声明这两个语句，如果定义对象属性最好的朋友是为Functional函数性，那么可以推理出是小张和小王是同一个人。2 In verse fu nctio nal逆函数性，是Fu nctio nal函数性的反性质，对于一个给定的个体，只有最多一个个体能通过该属性连接那

20、个个体。如：小张的最好的朋友是我，小王的最好的朋友是我，定义对象属性最好的朋友是为In verse fu nctio nal逆函数性，那么可以推理出是小张和小王是同一个人。3 Transitive传递性，具有传递性，女口： A大于B,B大于C如果定义对象属性大于为Transitive传递性，那么可以推理出A大于C.4 Symmetric对称性，两个个体关系对称，如:A的同学是B，B的同学是A，对象属性同学就具有Symmetric对称性。具有对称性，不能具有函数性和逆函数性，如:A的儿子是B,不能说成B的儿子是A。5 Asymmetric不对称性，Symmetric对称性的反。6 Reflexi

21、ve自反性，自身与自身相关联。7 Irreflexive不自反性，Reflexive自反性的反。Description （表达式，表现）1 Domain定义域，或类型。如下图,eat 的定义域为 Animal，即 Animai eat something 。匚 Fie- Edt Vew R«axDnef Tc-ib llEtKbx伽dewHetiE OnloUayUSSiWTTSlS kF -，“,1II-乙-4l_-AjctiiOntnlc-nr | Enibn | CtasxcihnpertKi Oaln Rmpertei lAjirKmboc 白*npeRn hdivtduat

22、s -OhlvIz | Cl Query CnfoGra*! ' OrrlDtaiiy bllrcnccxO址c1<niAErtyhBfHrcli*i: ertI Appalinrifc 5wEPow.R E T dtsiDtiliFounds usesol«at Giraffe SubCI«»Ofeat only leafT- »H*rljlvort Hefbrvore 5ubCl*!i«Of eat wly PlantT taaDanilin Ajwnll .u '匚' ed veat InverseOf ea

23、ledCh町甜er&kllSSQDwoipljrr tit1 ByrifTEDomcir&-inlrrH zLian； _I AsyTTTTKfnC.RtntHh*f-I - C'Aniniilnjngignh-rs *ion：i| -2 Ra nge 值域，如下图， ma in Eat 的值域为 Ani mal，即 Somethi ng ma in Eat An imalq> $幷也Si-：z/: .i : -I二：刊mi2了二冲.ph：寰竝疔二 辽XL：血IT«U4« m* n刖唇lH4on«r->54i1 rn«

24、on*r V 爭g hlwvncMEdtVcw HjcaiDnef TmB nelKbx WMow Heti On|0May15Sftffi6TT5l5 刑.Actn-e-OpbiloQU' EnIT CtasiEi Olipci hnpertiei Pain knpcrtei F AnnMJlEcftpit«lK3 j Mhiduita j'fllNLXrtz ff fit Query ” OntoCral ' OtTlDtanybhr-cncEiOtlgcltrnpErtyhETHrcW rmfiEaFUlFiqBUiHqc: mnEnljiFno -op

25、ObiettPraperty y *«"nflnEjrt :-«(ted-"isPartOfSTow.R X 诃 dtofunliFound A uses ol manEatT- ：icafnlw« c-amrvore SubCIfitOf rnginCat ©nR AnirnsiY-in&HmanEat SubProptrtyOf ESt mariEat Range Animal ObjtctF'roprf-; mainEalChDrActerkOlBSQDomdim： |inlprM-<Ljan-1,Asyr

26、nndrK.申：二 mn牛rjlnl>repuh4n、|-rL.*1 AnimaliFniiLlknlT4u4« n4«0nrcfiU 0«的n*"血朴 r«4«0n*r VhtwincM属性连接的是定义域的个体到值域的个体，对象属性的定义域和值域主要用来推理。3 Equivale nt object prop erties相等对象属性，定义与当前对象属性相等的对象属性。4 Super properties超属性，父属性，如上例中,main Eat 的 Super prop erties 就是 eat。5 In verse pr

27、op erties逆属性，上例中eat与eated互逆，对象属性的定义域与值域相反,如图U Ffc EdtVcw HjcaiDnef TmB nelKbx WMow Heti On|obfly1JiS£66TT5l5 .，"i ActiitOntab®- j £nlb«- | Ctasxci flUpd hupertieiQaln Mnpe恵iAnnotaboc ft-pperlJM j hxhvluita ' -OlNLVtz ft. Quer> j OrrfciGrai ' OrrWhiny CiHLcn匚UlFiqB

28、iViRcthan. I IJmq*T-apOtiwtPraperty y *« "ni«lnE«i:seated"isPartOfUiHqc. ebMSPow.R E T dtstcnRFound 1 uses treated.Mt"eat InvtntCH ealed，仃= t , eaiedHeat Invers&Of ealedChHrAmlcUlBSBEeiotpljrr atri1 SymrctncSup.i -rtir?AiyTTrndncI . RtrtauvtI-I - _ pitpr- E56 Didjoi

29、nt properties互不相交属性，两个属性没有交集。7 Property chains 属性链。Data Properties 数据属性它用来连接个体和 XML Schema数据类型值或rdf literal，该属性不能为传递的，对称的，反函数的，可以为函数的。如张三的电话号码是123456，数据属性电话号码连接个体张三'和数据123456'.在Protege4.2中打开 Data Properties，左边部分可以分别Add subproperty 创建子属性，Add sibling property 创建兄弟属性，Delete selected properties

30、删除选中属性三个操作，右上部分的Annotations （注释）对属性进行注释，说明数据属性的内容, 如下图，数据属性 address的Annotations comment为地址'匚 Fk- Edt Vew Hjeainnef Tub TlElKbx YVMonr Heti-I <i| OnionjyUESiTlMSWJJ h-niHy-Enibn Ctasxci fhnpertKi CId hnperci ' idjincrdboc 白*npeRnj -OhlvIz f Cl Query dntoGra*! ' OrrlDtaiiy bllrcnccx(TRr

31、rg制=1仪1T -opDatflProperty& 剧日r«ntl壬nncMon, Mdrt"31FWF：-Fundionfti叫寸 IChHrjdeTBlKM-m产:Wig* Derail何“：hiMn L 旷.4 String5“ "1 pir-p- - M右下方的Characteristic （特征），Description （表达式，表现）非常重要。Characteristic （特征）与Object Properties相比只有Functional函数性一项，这是由于它连接的是个体和XML Schema数据类型值或rdf literal 。De

32、scription （表达式，表现）1 Domain定义域2 Ra nge值域，从上图中可以看到 address的Doma in为zoo,值域为stri ng,即zoo动物园的个体具有地址数据属性，其值的类型是string数据类型。3 Equivale nt prop erties相等数据属性，定义与当前数据属性相等的数据属性。4 Super properties超属性，父属性。5 Disjoint properties互不相交属性，两个属性没有交集。Individuals 个体它可以理解为类的实例化，或者类的成员。在protege4.2中打开In dividual，左边部分是类的层次关系图，

33、可以分别 Add subclass创建子类，Add sibling class创建兄弟类，Delete selectedclasses删除选中类三个操作，中间部分Members list成员列表，可以分别 Add in dividual创建个体，Delete in dividual删除个体，右上部分的 Anno tatio ns （注释）对个体进行注释，Usage查看当前个体的使用情况，如下图，类zoo 有三个个体，分另U为beijing，shanghai，tianjing，Fie- Edt Vew R«axDnef Tub HElKbx VMvt/ Heti-|巧|> On|

34、obay15E427lM5M2J i,:i Mtii上gtnlo® I Enitm | 亡tasxci匕 l.fIFF广二心旧和七I1:-:-.-4hnpertKi Oaln hnpertei Anncrabor frEipeibH ' Hviduita -OlM-Viz | Cl Query' OrrlDtaiiy AillrcnccxT- Q ThingT- animal giatfe lion zoaI blMfnhFni lid ；i-rttrT*f1； Mi-niz-tn 卫 shanghaimUEUBFourtd 6 uses at shhai fhang

35、huk shanghai tel 2045412- sKflrghai gdcWess 'shenghatshr sharflhai Type zigpHcriun iMnqhDirnnBni门 HMHalnni: ahmgtiaiH1ESE3EgtfEj：-rrti6化tel -DECUMlia-address "'shanghai&hi"rmonrciUrmon*r V htwincrtsha nghai个体有6条使用记录。右下方的Descri ption （表达式，表现），Prop erty assert ions（属性声明）非常重要。Desc

36、ription （表达式，表现）zoo。1 Types,类，上图中个体 shanghai的Types就是这个个体属于的类2 Same individuals 相同个体3 Different individuals 不相同个体Property assertions （属性声明）需要手工进行操作。1 Object property assertions对象属性声明，使用对象属性连接另一个个体。2 Data property assertions数据属性声明，使用数据对象连接一个数据值。上例中，个体 shanghai的数据属性tel的值为02045412',数据属性 address的值为sh

37、anghaishi' 添加个体的数据属性手工进行添加。3 Negative object property asseritions 否定对象属性声明。4 Negative data property asseritions 否定数据属性声明。grap hvizOWL Viz类关系层次图，使用前需确认本机已经安装Show class，选择在Protege4.2中打开OWL Viz，选中class Thing,鼠标移到右边区域，右键Radius （半径，范围），即父类子类的层次,OK即可，如下图蜗 RadiusPlease select a 'class radiusVThe cb

38、ass radius specifies the number of levelsof parents and'/ior children.Ctass Radius:Apply to:； Pflrenta and children'0 Parents only：._Childr&n onlyOKCancelFfc Edt Vcw HjeaxDnef T«4b nelKbx WMow HetiI ii IIIQ O > On|obfly1JiS£66TT5l5 hriActive Ontak-TK Enitm I Ctassci寸旺cl hnpe

39、rtM、 DaIh hnpedei AnnotitBr A-pppIjm Mixldita flWLVtz AL Qucrv OrriciGrai OrrlDtany fiiMr-encES胡J w口|订口|叵叵辛| TT-T Animal T HtrbJvor* !" C Giraffen nj ,carnivore! '- lionT 厂 Pltmt'branch' leafAMfliBd nwcM hfeiTrf moMminimi,.L十 .- ARilMlI导亠El叶n_m_-II”I bunch4 Fbm g I 12 IITl”Asserted

40、model声明模型，即使定义的模型,Inferred model推理后的模型，即定义的模型经过推理机进行推理后的模型，进行复杂推理时需要安装相关插件才能实现。DL Query类查询或简单推理在Protege4.2中打开DL Query，右上方 Query查询，输入查询内容，然后点击菜单栏的Reasoner 推理->Start reasoner，选中推理机 FaCT+或 HermiT1.3.5,然后 Execute 执行，在下方的Query results输出查询结果。如下图，输入Tree，理fftobayl S射厦空町545 *»pyZF,鬲W屁&僵址眩0”讪餉啊Mi訓

41、O/Orto伽15«&6丁4巧454询-C；片吸明（tJt泻仙Mols护或F 归 Edt Vew HjcainnEf Tgh TkUebxWn环HEi兴：2含 On|oMayUE«ttTT545 h ii7 7713(1；-=ActnOphrcflf Enitm CtasxEi | Otd hnpertKi Dola peri AnnrtilK- ft-pppliM Hviduata flHLVlz CL Quenr OntoCral DnlPtaiiy CiHnncEX咱山二J :匸-T <71 T «Anim>l T «H*rWv

42、or* J J “ -Giraffe8 J carnivore3° «lionT epurt:n«:-brtrKhleafTreeZTr*u巨l厂T； P) Planfl nk>gSupvi c'.Tiir 1：riPhntSubHiiDf -.= " 1 inl uld -u.b1-* 'iTi = 'n,w UEPrf rtvJi» Slp»- ctasxFs-< AJi«plDrcitHfS D" Equrahnl ctasxrs-7P Dncendanl dta&

43、K口tunfV Show输入 not Tree理0哉心師曲旳2廻軒54）曲因/屮叶牡罚起些卫凹苗"怕1呦：2013!/0/0亦>5曲旳2&6丁4?54京詔-C吾"5*咋阳百岂Mto3出1521皿曲m"?二碧鱼匠垦肓1tfc Edt Vew FUaxancf Tgb HelKbx WMcw Heti含 On|obay1M4ffi&TT545 iimActive OnElw Enibn CtasxEiPrapertiei Dola pTnper>ei AnnctilBi- ft-DperijM Hnduah OHLVlz CL Querr

44、OnOoGral OnlDkiiiy (hriencEST «71y Animtli T HrWvor*5 n -Gn他8 J carnivore3° lionT <PUrtt-' Tltt'«t>nnch'-leifnot TreeuEryrtsiAnrLh二；OTTirngkizsxriAnWplorciLMft P EqurvDhnl ctassr*弓up >l Ttiing-：uh F：.：C Animal5r dAhlCAn(m*lCcami-vcn口iwi y Show hrfmn右下方的选项对输出结果进行控制

45、。选中Super classes 显示父类，An cestor classes 显示祖先类，Equivale nt classes 显示相同类，Subclasses 显示子类，Desce ndant classes 后代类，In dividuals显示类的个体。OntoGraf本体关系图在Protege4.2中打开OntoGraf，依次点击左边部分所有的父类子类,在右边部分显示出所有类的关系，如下图Fk- Edt Vew HjcainnEf TmB nclbdXH* lA/WidoorH凸p' £nUj«. Ctasxci OUpd hnpErtiei CaId h

46、npcrtci AnnotilBi- A-dptIjm IvkI比 ObVLViz CL Querv OntoGnI ' DnlDtaiiy CiHnncciT *71T «AnimalI T BHtrbJvor*! ! 'S , Biamivare! '-lionT I 'Pl»r»t:匚 n*I L'brtrtth r"leaf创宜.I阻越/ 电I引 0乞|迅1色 2 Ij瓦|创对I二1回回q；Crale j)Thing p brncti THM口tuw tw» V She*在Search搜索栏中输入

47、内容，进行搜索，显示与搜索内容相关的关系图，可以搜索类，个体，如下图，Search leafhl汕叫口IMW t* y ShOiAi HrirwH«I AcWrtOntabw | EhUkt- Ctassri :' Olyed PmrKrWi- | Doln RrnpZ玉 AnnrtflteFftDperb« fcHfrEow flrtLVt bLQucrr OrikOai OnlDbuyfiiHrncpsI -；:= U n希绢I<FIWBEialT JlwigT Vaniridl! 'Ilion !»|cqrilHPB -lll Swfd

48、l I Of I'»I:1 6MW声/阿C匸亦ikflpl劣竝更7巴竺少如gm底汽怛聲cMol呦囱丄013!/"0毗Eoflyl珂如&6丁4?弭5史口匚'C如曲诜鹹stolpgMlOT如怙硕3Ffc Edt Vcw HjeaiDner ToHi HeIkIwHeti<；j| 寺 On|obay1SE!£66TT5l5 hl|AjctiiOnftilW ' £nUj«- Ctasxcxfl旺cl Pnipertiei I Qaln hnpertei f AnncJalK- ft-pprtM txhxluita -OWEVte At Qucrv Oritifirai Onlotaiiy Aihr-cnccxT 9TYy Animtl T CHtrbJvor* i i ' «Sinffe n nj u * car