Protege新手入門(推理篇)

1、本篇將接著基礎(chǔ)篇，在動(dòng)物本體中，建立獅子類(Lion)和肉食動(dòng)物類(Carnivore),通過(guò)推理得到獅子是肉食動(dòng)物。通過(guò)這個(gè)實(shí)例來(lái)簡(jiǎn)單了解推理機(jī)Racer的用法?；静僮鞣椒ㄔ诨A(chǔ)篇中有講解，以下步驟中的操作不清楚的朋友請(qǐng)先看基礎(chǔ)篇。點(diǎn)擊這里下載到此處的項(xiàng)目，在protege中點(diǎn)擊OpenProject打開(kāi)項(xiàng)目。步驟1在Animal中建立獅子類和肉食動(dòng)物類。定義這兩個(gè)類在同一級(jí)中，即這兩個(gè)類為兄弟關(guān)系,目的是推理后獅子變?yōu)槿馐硠?dòng)物的子類。步驟2編輯獅子類的屬性。這里我們定義獅子只吃素食動(dòng)物。步驟3編輯肉食動(dòng)物的屬性。這里我們需要建立一個(gè)eat的子屬性maineat（主要吃的是），因?yàn)槿馐承詣?dòng)

2、物可以吃植物，所以我們無(wú)法單純的靠eat來(lái)推理出Lion是不是肉食性動(dòng)物。這里我們定義肉食性動(dòng)物maineat的值域是所有的動(dòng)物。如下圖步驟4將肉食動(dòng)物的maineat屬性變?yōu)槌浞直匾獥l件。因?yàn)樵诂F(xiàn)在的邏輯模型中我們的標(biāo)準(zhǔn)是開(kāi)放世界假說(shuō)，也就是說(shuō)在沒(méi)有成功證明某個(gè)陳述之前，我們將這個(gè)陳述定義為未知的事實(shí)而不是假的。因?yàn)槲覀儧](méi)有明確指出肉食動(dòng)物不能主要吃植物，所以肉食動(dòng)物主要吃植物這個(gè)陳述是未知的，而不是假的。這樣就給我們的推理造成了影響，所以我們需要明確指出肉食動(dòng)物主要吃動(dòng)物。也就是充分必要條件。做法是雙擊NECESSARY（必要條件）VmaineatAnimalIZCI中的、-一!將其拖拽到

3、上方的NECECSSARY&SUFFICIENT（充分必要條件）中。同樣的方法將Animal也拖拽到充分必要條件中。狀態(tài)如下圖Eo韶AssertedInferredAllrmluESufthemmiriEmtprupertymrmoftypEmniJllSUBCLASSRELATIONSCLASSEDITORForClass:Carnivore(instanceofowl:Class)OWLCIasses;ormsIndividualsMetadataOWLViz步驟8保存項(xiàng)目。點(diǎn)擊下載該項(xiàng)目。剎畫(huà)1匾fiMetadataAssertedModelFjprProjectAniFileEditProjectOWLCedeWindcwTiiiuisHelpOWLVizProjedInferredHierarchyOWLfilenameorURLnewAnimal.owlLanguageRDF/XML-ABBREVCancelCLASSBROWSEROWLCIassesPropertiesEJOWLFiles(owlorrdf)newAnimal.pprjForms*IndividualsEJA