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

 

转载于:https://www.cnblogs.com/monster-study/p/7200649.html