Â¥Ö÷

¹ØÓÚjena ruleµÄд·¨ ÇëÎʸ÷λ´óÏÀ£¬Ê¹ÓÃjena½øÐÐÍÆÀíʱ£¬ruleÔõÑùдѽ£¿ СµÜ¿´ÁËapi£¬¿ÉÊDz»Ì«Ã÷°×¡£ 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)

	µÚ2Â¥

²Î¿´SWRLµÄÎĵµ

	µÚ3Â¥

ллiamwymѧ³¤¡£ SWRLµÄÎĵµ£¿ÄÇÊÇʲô£¿^_^СµÜÊdzõѧÕߣ¬Äܲ»Äܸø½²½âһϣ¡£¡¹þ¹þ

	µÚ4Â¥

¿´ÁË¿´Jena 2 Inference supportÖеÄThe general purpose rule engine £¬ÓеãÃ÷°×ÁË¡£ ¿ÉÊǶÔÆäÖеÄÇ°ÏòºÍºóÏòÁ½ÖÖ¹æÔò»¹ÊÇÓеãÒÉÎÊ¡£ Ç°ÏòÓ¦¸ÃÀàËÆÓÚ²úÉúʽ¹æÔò£¬¼´¡°Èç¹û£¬ÄÇô¡± ºóÏòºÃÏñÊÇÕҵijä·ÖÌõ¼þËƵģ¬¼´¸ø¶¨Ä¿±ê£¬ÕÒ³öÂú×ãÄ¿±êµÄ³ä·ÖÌõ¼þ¡£ ÎÒÀí½âµÄ¶ÔÂ𣿸÷λ´óÏÀ£¬¸øµã½¨Òé¡£×îºÃÓÐʵÀý¿´¿´£¬ÓÈÆäÊǺóÏò¹æÔò£¬²»ÖªµÀÔõôÓã¡ лл´ó¼Ò

	µÚ5Â¥

´ó¼Ò¸ø¸öÒâ¼û¹þ£¡

	µÚ6Â¥

´ó¼Ò½Ì½ÌСµÜ£¡£¡£¡

	µÚ7Â¥

àÅ ÎÒÒ²ºÜÏëÖªµÀjena ruleºÍswrlµÄ¹Øϵ

	µÚ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²éһϾͿÉÒÔ¿´³öÍÆÀíµÄ½á¹ûÁË¡£ ºóÏòµÄҲûÓùý¡£

----------------------------------------------
¹Ø×¢¿Æѧ·¢Õ¹

	µÚ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                        //Ò»¸öÊý×Ö

	µÚ10Â¥

ÀýÈ磺rule:(?x subclassof ?y),(?y subclassof ?z)->(?x,subclassof,?z) ¾ÍÊÇÆäÖеÄÒ»ÖÖ¸ñʽ£¬ÒÔ´ËÀàÍÆ¡£¡£