步驟2 編輯獅子類的屬性。這里我們定義獅子只吃素食動物。

步驟3 編輯肉食動物的屬性。這里我們需要建立一個eat的子屬性maineat(主要吃的是)，因?yàn)槿馐承詣游锟梢猿灾参铮晕覀儫o法單純的靠eat來推理出Lion是不是肉食性動物。這里我們定義肉食性動物maineat的值域是所有的動物。如下圖

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

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

步驟6 運(yùn)用推理機(jī)進(jìn)行推理。選擇菜單中OWL–>Classify taxonomy..(也可以點(diǎn)擊標(biāo)簽上方的Classify taxonomy..圖標(biāo))的。這時protege會連接RacerPro，然后推理機(jī)將做出推理。這時將推理機(jī)彈出的信息關(guān)閉，protege中間會出現(xiàn)新的類階層圖，這里獅子類已經(jīng)變?yōu)槿馐硠游锏淖宇悺２⒃谛畔υ捒蛑械腖ion Moved from Animal to Carnivore。

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

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