初次使用protege4.3建立本體，使用網上提供的例子，建立簡單的本體：
本體間關係如下表示：
Interest下包含BallGame與Music，它們互爲disjoint關係；
BallGame包含Basketball與FootBall，也互爲disjoint關係；
Music包含Guitar與Piano，互爲disjoint關係。
建立testInterest類，在testInterest類下建立not_Guitar，Add Equivalent To （not Guitar）
那麼經過推理機推理not_Guitar下就會有除了Guitar外的其他類。
建立的類如下，添加相應的關係：
Equivalent To 填寫not Guitar：
Reasoner菜單下選擇一個推理機進行推理，推理後選擇類層次視圖，發現not_Guitar下的類： 
安裝OWLviz插件，可以看到視圖，分別爲聲明視圖和推理視圖：
