以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  能否扩展SWRL,使之支持非运算以及或运算?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=78056)


--  作者:csb_tom_new
--  发布时间:11/2/2009 9:46:00 AM

--  能否扩展SWRL,使之支持非运算以及或运算?
我已经编写好本体,现在需要在此基础上开发推理规则,我打算采用SWRL+Jess来进行。我看了很多资料,里面都提到SWRL只能支持与运算(合取运算),我想问一下,可否采取某种扩展方式(如:built-in),使SWRL也能支持或运算以及非运算?因为,我想用SWRL写规则更方便些,我不想把一个可以用或运算连接起来的复杂SWRL规则变成多个简单SWRL规则。有方法能实现吗?
--  作者:csb_tom_new
--  发布时间:11/7/2009 2:31:00 PM

--  
最近查阅了大量资料,找到了答案:
在SWRL规则中是无法使用非运算和或运算的,但是可以通过在SWRL规则的原子中运用集合运算(交、并、补)来产生新的class、property和individual来间接地实现类似功能。如:
Class1(?x) V Class2(?x) ->Class3(?x)
可以先定义_Class = (Class1 V Class2), 然后: _Class(?x) ->Class3(?x)

但是以下做法是错误的:
Class1(?x) V Class2(?y) ->Class3(?z)
等价于:~Class3(?z) -> ~Class1(?x) ^ ~Class2(?y)
定义 NC3 = ~Class3   NC1 = ~Class1   NC2 = ~Class2
则规则为:NC3(?z) -> NC1(?x) ^ NC2(?y)
虽然转化为合取运算,但是SWRL规定->的右边只能是单个的原子,如果是多个原子的合取的话,则变量必须相同


--  作者:Humphrey
--  发布时间:11/7/2009 8:05:00 PM

--  
这么说SWRL应该还是不太完善了?本来推理就要花费比普通查询更多的时间,结果还得用户以其它方式等价地实现类似功能,岂不是更加浪费时间了吗?
--  作者:lsp_jlu
--  发布时间:11/11/2009 2:34:00 PM

--  
SWRL推理自然要复杂一些,但是它具有比DL更强的描述能力。
目前在规则纳入与或非(当然是扩充对于角色之间与或非),已有相关研究,但仍是一个开放问题,需要很谨慎,否则就会不可判定。
--  作者:yahua8023
--  发布时间:6/20/2011 8:21:00 PM

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