初次使用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插件，可以看到视图，分别为声明视图和推理视图：
