新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论,如:Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。
    [返回] 中文XML论坛 - 专业的XML技术讨论区W3CHINA.ORG讨论区 - Web新技术讨论『 Semantic Web(语义Web)/描述逻辑/本体 』 → 关于jena rule的写法 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 58131 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: 关于jena rule的写法 举报  打印  推荐  IE收藏夹 
       本主题类别: Jena    
     ttlxzzccc 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:21
      积分:131
      门派:XML.ORG.CN
      注册:2007/5/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给ttlxzzccc发送一个短消息 把ttlxzzccc加入好友 查看ttlxzzccc的个人资料 搜索ttlxzzccc在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ttlxzzccc的博客楼主
    发贴心情 关于jena rule的写法

    请问各位大侠,使用jena进行推理时,rule怎样写呀?
    小弟看了api,可是不太明白。
    Representation of a generic inference rule.

    This represents the rule specification but most engines will compile this specification into an abstract machine or processing graph.

    The rule specification comprises a list of antecendents (body) and a list of consequents (head). If there is more than one consequent then a backchainer should regard this as a shorthand for several rules, all with the same body but with a singleton head.

    Each element in the head or body can be a TriplePattern, a Functor or a Rule. A TriplePattern is just a triple of Nodes but the Nodes can represent variables, wildcards and embedded functors - as well as constant uri or literal graph nodes. A functor comprises a functor name and a list of arguments. The arguments are Nodes of any type except functor nodes (there is no functor nesting). The functor name can be mapped into a registered java class that implements its semantics. Functors play three roles - in heads they represent actions (procedural attachement); in bodies they represent builtin predicates; in TriplePatterns they represent embedded structured literals that are used to cache matched subgraphs such as restriction specifications.

    We include a trivial, recursive descent parser but this is just there to allow rules to be embedded in code. External rule syntax based on N3 and RDF could be developed. The embedded syntax supports rules such as: [ (?C rdf:type *), guard(?C, ?P) -> (?c rb:restriction some(?P, ?D)) ].
    [ (?s owl:foo ?p) -> [ (?s owl:bar ?a) -> (?s ?p ?a) ] ].
    [name: (?s owl:foo ?p) -> (?s ?p ?a)].
    only built in namespaces are recognized as such, * is a wildcard node, ?c is a variable, name(node ... node) is a functor, (node node node) is a triple pattern, [..] is an embedded rule, commas are ignore and can be freely used as separators. Functor names may not end in ':'.

    那位大侠具体讲解一下,举几个例子。小弟感激不尽!!!


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/5/20 16:49:00
     
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客2
    发贴心情 
    参看SWRL的文档
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/5/20 19:53:00
     
     ttlxzzccc 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:21
      积分:131
      门派:XML.ORG.CN
      注册:2007/5/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给ttlxzzccc发送一个短消息 把ttlxzzccc加入好友 查看ttlxzzccc的个人资料 搜索ttlxzzccc在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ttlxzzccc的博客3
    发贴心情 
    谢谢iamwym学长。
    SWRL的文档?那是什么?^_^小弟是初学者,能不能给讲解一下!!哈哈
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/5/20 21:45:00
     
     ttlxzzccc 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:21
      积分:131
      门派:XML.ORG.CN
      注册:2007/5/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给ttlxzzccc发送一个短消息 把ttlxzzccc加入好友 查看ttlxzzccc的个人资料 搜索ttlxzzccc在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ttlxzzccc的博客4
    发贴心情 
    看了看Jena 2 Inference support中的The general purpose rule engine ,有点明白了。
    可是对其中的前向和后向两种规则还是有点疑问。
    前向应该类似于产生式规则,即“如果,那么”
    后向好像是找的充分条件似的,即给定目标,找出满足目标的充分条件。
    我理解的对吗?各位大侠,给点建议。最好有实例看看,尤其是后向规则,不知道怎么用!
    谢谢大家
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/5/21 15:46:00
     
     ttlxzzccc 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:21
      积分:131
      门派:XML.ORG.CN
      注册:2007/5/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给ttlxzzccc发送一个短消息 把ttlxzzccc加入好友 查看ttlxzzccc的个人资料 搜索ttlxzzccc在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ttlxzzccc的博客5
    发贴心情 
    大家给个意见哈!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/5/23 9:34:00
     
     ttlxzzccc 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:21
      积分:131
      门派:XML.ORG.CN
      注册:2007/5/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给ttlxzzccc发送一个短消息 把ttlxzzccc加入好友 查看ttlxzzccc的个人资料 搜索ttlxzzccc在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ttlxzzccc的博客6
    发贴心情 
    大家教教小弟!!!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/5/24 14:25:00
     
     askaloe 美女呀,离线,快来找我吧!
      
      
      等级:大一(猛啃高等数学)
      文章:10
      积分:102
      门派:W3CHINA.ORG
      注册:2006/10/10

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给askaloe发送一个短消息 把askaloe加入好友 查看askaloe的个人资料 搜索askaloe在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看askaloe的博客7
    发贴心情 
    嗯 我也很想知道jena rule和swrl的关系
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/4 0:21:00
     
     daximen 帅哥哟,离线,有人找我吗?
      
      
      等级:大二期末(C++考了100分!)
      文章:51
      积分:495
      门派:XML.ORG.CN
      注册:2006/12/15

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给daximen发送一个短消息 把daximen加入好友 查看daximen的个人资料 搜索daximen在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看daximen的博客8
    发贴心情 
    我也接触不久,理解的和你差不多吧,没用过swrl,感觉只是换了一种方式而已。
    Jena自带的例子就有用general purpose rule的,你可以运行一下看看。
    比如那个 demo.rules可以结合自己的例子写成:
    # Example rule file
    @prefix family: <http://www.owl-ontologies.com/Ontology1180361972.owl#>.
    [rule1: (?A family:hasSibling ?B), (?B family:hasSibling ?C),notEqual(?A,?B) -> (?A family:hasSibling ?C) ]
    [rule2: (?A family:hasFather ?B),(?B family:hasFather ?C)->(?A family:hasGrandfather ?C)]
    然后 sparql查一下就可以看出推理的结果了。
    后向的也没用过。

    ----------------------------------------------
    关注科学发展

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/6 21:52:00
     
     liukun19851007 帅哥哟,离线,有人找我吗?
      
      
      等级:大二期末(数据结构考了98分!)
      文章:47
      积分:338
      门派:XML.ORG.CN
      注册:2007/7/18

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给liukun19851007发送一个短消息 把liukun19851007加入好友 查看liukun19851007的个人资料 搜索liukun19851007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看liukun19851007的博客9
    发贴心情 
    Rule     :=     bare-rule
             or     [bare-rule]
             or     [ruleName:bare-rule]
    bare-rule:=     term,term.....term->hterm,...hterm //前向推理
             or     term,term.....term<--term,...term  //后向推理
    hterm    :=     term
             or     [bare-rule]
    term     :=     (node,node,node)                   //三元组
             or     (node,node,functor)           //扩展三元组   
             or     builtin(node,.....node)       //调用处理元语
    functor  :=     functorName(node,...node)     //结构化文字表达
    node     :=     uri-ref
             or     prefix:localname              //例如:rdf:type
             or     ?varname                      //变量名
             or     'a literal'                   //字符串
             or     number                        //一个数字
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/12/13 16:32:00
     
     liukun19851007 帅哥哟,离线,有人找我吗?
      
      
      等级:大二期末(数据结构考了98分!)
      文章:47
      积分:338
      门派:XML.ORG.CN
      注册:2007/7/18

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给liukun19851007发送一个短消息 把liukun19851007加入好友 查看liukun19851007的个人资料 搜索liukun19851007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看liukun19851007的博客10
    发贴心情 
    例如:rule:(?x subclassof ?y),(?y subclassof ?z)->(?x,subclassof,?z) 就是其中的一种格式,以此类推。。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/12/13 16:37:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/4/22 6:57:52

    本主题贴数14,分页: [1] [2]

    管理选项修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    99.609ms