以文本方式查看主题

-  中文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=92714)

--  作者：wzg112
--  发布时间：7/15/2011 4:00:00 PM

--  [求助]Jena规则的语法
刚开始研究本体，通过Jena来导入。
看到Jena Inference文档中关于rules的语法，有些疑问？functor的作用是什么？
下面这个例子中，all(?P,?D)有什么作用？能具体解释解释吗？
不要说什么“集合成单一的数据结构”，我想知道这么做，下面的规则该怎么用，如何用的，谢谢！

[allID: (?C rdf:type owl:Restriction),  (?C owl:onProperty ?P),
            (?C owl:allValuesFrom ?D) -> (?C owl:equivalentClass all(?P,?D)) ]

[all2: (?C rdfs:subClassOf all(?P,?D) -> print('Rule for', ?C)
         [allb: (?Y rdf:type ?D) <- (?X rdf:type ?C)]]

[max1: (?A rdf:type max(?P,1)), (?A ?P ?B), (?A, ?P, ?C) -> (?B owl:sameAs ?C) ]

W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 4,390.625ms