利用protege創建本體並進行簡單推理

參照jkbjxy的博客內容：http://jkhhuse.iteye.com/blog/1966857 

問題描述：

　　本體間關系如下表示：

　　Interest下包含BallGame與Music，它們互為disjoint關系；

　　BallGame包含Basketball與FootBall，也互為disjoint關系；

　　Music包含Guitar與Piano，互為disjoint關系。

　　要求：   1. 按照上述關系建立Interest類；

　　　　　　2. 建立testInterest類，並建立其子類not_Guitar；

　　　　　　3. 利用推理機推理not_Guitar。

實驗過程：

　　1. 建立Interest類

　　　

　　2. 建立interest子類BallGame類、Music類以及其各自的子類

　　3. 設置每個子類的disjoint

　　

　　4. 創建testInterest類及其子類not_Guitar類

　　5. 選中not_Guitar類，在Equivalent To中添加not Guitar

　　

　　6. 推理。點擊Reasoner按鈕，選擇HermiT后Start reasoner按鈕高亮顯示，點擊該按鈕，進行推理即可

　　

　　推理后的結果圖：

　　

　　注意：結果在顯示，而不是在顯示；以上實驗均基於Protege-5.1.0，部分版本不同可能有所差異。