以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  ontology层之上逻辑规则层的疑问?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=17595)


--  作者:springwind
--  发布时间:4/27/2005 5:36:00 PM

--  ontology层之上逻辑规则层的疑问?

看到软件所一篇博士论文:给出了一种web规则标记语言OWLRule+,可用于表示用户在选择服务时表现出来的偏好规则。

其规则是一个形为p1(X1)∧…∧pn(Xn)=>q(Y)的horn子句,其中X1,…,Xn,Y是变量或常量的元组。谓词p1…pn可以是OWL本体中定义的class和property的名字,也可以是普通谓词,谓词q必须是一个普通谓词。

这里有疑问:在规则中可以出现普通谓词,
(1)普通谓词是和应用系统相关的?
(2)若要利用这样的规则进行推导,要解析这些普通谓词,是否应该有应用相关的特定的推理工具?
(3)如果含有普通谓词的规则在应用时是与特定应用系统相关,那么提出OWLRule的意义是什么?


呵呵,谢谢!


--  作者:yanxq
--  发布时间:4/27/2005 9:57:00 PM

--  
这只是作者为了自己的目的定义的,不具有通用性
但是,目前也还没有通用的owl rule,所以作者这样的定义也无不可
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
886.719ms