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

 


免责声明!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。



 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM