基本操作方法在基礎(chǔ)篇中有講解，以下步驟中的操作不清楚的朋友請(qǐng)先看基礎(chǔ)篇。點(diǎn)擊這里下載到此處的項(xiàng)目，在protege中點(diǎn)擊Open Project打開項(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)物可以吃植物，所以我們無法單純的靠eat來推理出Lion是不是肉食性動(dòng)物。這里我們定義肉食性動(dòng)物maineat的值域是所有的動(dòng)物。如下圖

步驟4 將肉食動(dòng)物的maineat屬性變?yōu)槌浞直匾獥l件。因?yàn)樵诂F(xiàn)在的邏輯模型中我們的標(biāo)準(zhǔn)是開放世界假說，也就是說在沒有成功證明某個(gè)陳述之前，我們將這個(gè)陳述定義為未知的事實(shí)而不是假的。因?yàn)槲覀儧]有明確指出肉食動(dòng)物不能主要吃植物，所以肉食動(dòng)物主要吃植物這個(gè)陳述是未知的，而不是假的。這樣就給我們的推理造成了影響，所以我們需要明確指出肉食動(dòng)物主要吃動(dòng)物。也就是充分必要條件。做法是雙擊NECESSARY(必要條件)中的 將其拖拽到上方的NECECSSARY & SUFFICIENT(充分必要條件)中。同樣的方法將Animal也拖拽到充分必要條件中。狀態(tài)如下圖

步驟5 啟動(dòng)RacerPro推理機(jī)進(jìn)行推論。如果沒有的朋友請(qǐng)到RacerPro官方網(wǎng)站下載。需要注冊(cè)一下，然后在發(fā)給你郵件中，點(diǎn)擊鏈接就可以下載。安裝選默認(rèn)路徑即可，不然還需要設(shè)置路徑。

步驟6 運(yùn)用推理機(jī)進(jìn)行推理。選擇菜單中OWL–>Classify taxonomy..(也可以點(diǎn)擊標(biāo)簽上方的Classify taxonomy..圖標(biāo))的。這時(shí)protege會(huì)連接RacerPro，然后推理機(jī)將做出推理。這時(shí)將推理機(jī)彈出的信息關(guān)閉，protege中間會(huì)出現(xiàn)新的類階層圖，這里獅子類已經(jīng)變?yōu)槿馐硠?dòng)物的子類。并在信息對(duì)話框中的Lion Moved from Animal to Carnivore。

步驟7 確認(rèn)關(guān)系圖。在OWLViz中Asserted Model是推理前的關(guān)系圖，Inferred Model是推理后的關(guān)系圖。可以看到獅子類已經(jīng)成為肉食動(dòng)物的子類。

步驟8 保存項(xiàng)目。點(diǎn)擊下載該項(xiàng)目。