以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  建立swrl推理时候 ,如果建立owl的 问题 !  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=68814)


--  作者:63henry.black
--  发布时间:10/29/2008 9:45:00 AM

--  建立swrl推理时候 ,如果建立owl的 问题 !

   swrl的规则是 在本体中概念建立的 基础上,现在我 碰上一个问题 ,就是 如果 确定需要建立的是 个体还是 类.
  
    J举一个例子:
    我现在建设的鱼类疾病的推理,就是通过特征判断是什么疾病。

    问题: 疾病应该归类为子类还是个体?

     具体情况分析:
   
     判断是不是 败血病。

     推理规则: 鲤鱼+腹部出血=》败血病
     swrl   carp(?x)^bleed(?x,?y)^stomach(?y)=>septicemia(?x)
   
    问题:鲤鱼败血病等概念是不是要建设成为类,而不能是个体?
            如果是建设成为个体,上面的可以不可以改成:
     swrl   fish(?x,“carp”)^bleed(?x,?y)^stomach(?y)=>diease(?x,"septicemia")

谢谢,请大家一起来讨论


--  作者:63henry.black
--  发布时间:10/29/2008 9:50:00 AM

--  
不好意思,以上的概念没有补完,应该还有个属性是得病。
  
   重新写如下:

------------------------------------------------------------------------------------------------
     推理规则: 鲤鱼+腹部出血=》败血病
     swrl   carp(?x)^has_diease(?x,?z)^bleed(?x,?y)^stomach(?y)=>septicemia(?z)
   
    问题:鲤鱼败血病等概念是不是要建设成为类,而不能是个体?
            如果是建设成为个体,上面的可以不可以改成:
     swrl   fish(?x,“carp”)^has_diease(?x,?z)^^bleed(?x,?y)^stomach(?y)=>diease(?z,"septicemia")


--  作者:63henry.black
--  发布时间:10/29/2008 4:06:00 PM

--  
继续贴
  
  下午测试了n种推理规则,但都没有结果
  规则描述:
   如果是鳜鱼,鳍出血 ,则为败血病

  规则1 :
     mandarinfish(?x)^has_disease(?x,?y)^has_body(?x,branchia_text1)^has_symptom
(?x,red)-->fin_rot(?y)

规则2
   mandarinfish(?x)^has_disease(?x,?y)^has_body(?x,?z)^branchia(?z)^has_symptom
(?z,red)-->fin_rot(?y)

都没有结果,所以我想是不是has_disease(?x,?y)存在问题,机器不能识别呢?

继续测试!


--  作者:63henry.black
--  发布时间:10/29/2008 4:21:00 PM

--  

测试成功!
  
规则:
    mandarinfish(?x)^fin_rot(?y)^has_body(?x,branchia_text1)^has_symptom
(?x,red)-->has_fin_ort_diease(?x,?y)

现在问题:
   不能在实例 branchia_text1 下的 has_fin_ort_diease 关系中看到 败血病 实例 fin_rot_text1

继续测试,并建立规则实现


--  作者:63henry.black
--  发布时间:10/29/2008 4:26:00 PM

--  

  突然想到,在family本体中,也是推理结果显示添加了实例的属性关系,不知道如何能够把实例改变反映出来?
  规则要怎么写呢?
--  作者:63henry.black
--  发布时间:10/29/2008 4:39:00 PM

--  

测试成功
  
  加入新规则:
   has_fin_ort_diease(?x,?y)^mandarinfish(?x)^fin_rot(?y)-->fin_rot(?y)

结果满意!
  
继续努力,继续把规则复杂


--  作者:yyhtiger
--  发布时间:10/30/2008 4:31:00 PM

--  

--  作者:yahua8023
--  发布时间:6/20/2011 8:20:00 PM

--  
楼主,能不能把您的规则实例和推理代码给我也发一份啊,老师让做个本体库能进行一些基于规则的推理,谢谢啊,我邮箱wangyahuaxxy8023@163.com.
想问下楼主,你的规则研究的怎么样了?请问swrl可以描述不同本体之间的关系和推理吗?例如我建了时间本体和地理本体,我在建一个SWRL规则文件,这个文件能直接调用时间本体和地理本体里德类和属性吗?
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms