以文本方式查看主题

-  计算机科学论坛  (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=25675)


--  作者:spaceflight
--  发布时间:12/20/2005 10:04:00 AM

--  那位老大能给解释一下Jena文档里的这个规则是什么意思?
那位老大能给解释一下Jena文档里的这个规则是什么意思?
[ (?C rdf:type *), guard(?C, ?P) -> (?c rb:restriction some(?P, ?D)) ].
其中guard  和some是内建的词汇吗?
谢谢!!
--  作者:jpz6311whu
--  发布时间:12/20/2005 1:12:00 PM

--  
楼主的例子在哪里找到的,我在jena2.3的推理文档里面没有找到,
--  作者:spaceflight
--  发布时间:12/20/2005 1:47:00 PM

--  
API的DOC/Rule类的帮助文档
--  作者:jpz6311whu
--  发布时间:12/20/2005 3:57:00 PM

--  
guard  和some并不是builtin的functor,而是Embedded functors ,builtin的只有Builtin primitives表里面的那一些。
关于functor的用法可以参看jena源代码rulesys\test的junit单元测试中的testBasics.java的public void testEmbeddedFunctors() 方法
--  作者:spaceflight
--  发布时间:12/21/2005 4:06:00 PM

--  
谢谢了楼上老大的解释/还有一个问题/我写了一条规则/怎么不生效呀
规则如下:
[r1:(?c sec:hasFirewall ?f),(?c sec:hasEvent 'E1001')->(?f sec:doCommand 'FW_CLOSE')]
老大还能给解释一下吗?
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
66.406ms