利用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，部分版本不同可能有所差异。
