以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  问下这个jena自带的推理规则什么意思?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=122460)


--  作者:ehuangjiazi
--  发布时间:11/13/2011 7:11:00 PM

--  问下这个jena自带的推理规则什么意思?

allvalueFrom:(?C owl:onProperty ?P),(?C owl:allValuesFrom ?D)->(?C owl:equiValentClass all(?P,?D))。
--  作者:海豚_128
--  发布时间:12/25/2012 1:56:00 PM

--  
jena 自带的推理是通过rdf的内部推理规则建立的。例如:rdf:type就是一种分类的规则。您提出的这个问题中owl:onProperty  owl:allValuesFrom owl:equiValentClass 都是规则。但是是owl的规则。估计目前新版本的jena支持这些规则。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
47.363ms