Jena进阶（二）本体推理规则（Rules）的介绍

本体的推理规则库是有一条条规则组成的。每条规则由主体（body）和头(head)组成，一条规则可以有一个主体和一个头，例如规则：[rule1:(?a fa:hasHusband ?b)(?a fa:isMotherOf ?c)->(?b fa:isFatherOf ?c)]，其中规则的主体为：?a @hasHusband ?b,?a @isMotherOf ?c，头为：?b @isFatherOf ?c，也就是说有所有的主体可以推出头。?a @hasHusband ?b,?a @isMotherOf ?c,?b @isFatherOf ?c三者有一个称谓：ClauseEntry。例如方法Rule类中getbody()方法返回是一个ClauseEntry集合。他有2个元素?a @hasHusband ?b,?a @isMotherOf ?c。下面有个规则库：

[c-sharp] view plaincopy

1. @prefix fa: <http://www.semanticweb.org/ontologies/2010/0/family.owl#>.@include <RDFS>.@include <OWL>.  
2. [rule1: (?a fa:hasHusband ?b)(?a fa:isMotherOf ?c)->(?b fa:isFatherOf ?c)]  
3. [rule2: (?a fa:hasHusband ?b)(?a fa:hasDaughter ?c)->(?b fa:isFartherOf ?c)]  
4. [rule3: (?a fa:hasHusband ?b)(?a fa:hasDaughter ?c)->(?b fa:hasDaughter ?c)]  
5. [rule4: (?a fa:hasHusband ?b)(?a fa:hasDaughter ?c)->(?c fa:hasFather ?b)]  
6. [rule5: (?a fa:hasHusband ?b)(?a fa:hasDaughter ?c)->(?c fa:isDaughterOf ?b)]  
7. [rule6: (?a fa:hasHusband ?b)(?a fa:hasSon ?c)->(?b fa:isFatherOf ?c)]  
8. [rule7: (?a fa:hasHusband ?b)(?a fa:hasSon ?c)->(?b fa:hasSon ?c)]  
9. [rule8: (?a fa:hasHusband ?b)(?a fa:hasSon ?c)->(?c fa:hasFather ?b)]  
10. [rule9: (?a fa:hasHusband ?b)(?a fa:hasSon ?c)->(?c fa:isSonOf ?b)]  
11. [rule10:(?a fa:hasWife ?b)(?a fa:isFatherOf ?c)->(?b fa:isMotherOf ?c)]  
12. [rule11:(?a fa:hasWife ?b)(?a fa:haDaughter ?c)->(?b fa:isMotherOf ?c)]  
13. [rule12:(?a fa:hasWife ?b)(?a fa:haDaughter ?c)->(?b fa:hasDaugher ?c)]  
14. [rule13:(?a fa:hasWife ?b)(?a fa:haDaughter ?c)->(?c fa:hasMother ?b)]  
15. [rule14:(?a fa:hasWife ?b)(?a fa:haDaughter ?c)->(?c fa:isDaughterOf ?b)]  
16. [rule15:(?a fa:hasWife ?b)(?a fa:hasSon ?c)->(?b fa:isMotherOf ?c)]  
17. [rule16:(?a fa:hasWife ?b)(?a fa:hasSon ?c)->(?b fa:hasSon ?c)]  
18. [rule17:(?a fa:hasWife ?b)(?a fa:hasSon ?c)->(?c fa:hasMother ?b)]  
19. [rule18:(?a fa:hasWife ?b)(?a fa:hasSon ?c)->(?c fa:isSonOf ?b)]  
20. [rule19:(?a fa:hasWife ?b)->(?a fa:isHusbandOf ?b)]  
21. [rule20:(?a fa:hasHusband ?b)->(?a fa:isWifeOf ?b)]  
22. [rule21:(?a fa:isHusbandOf ?b)->(?a fa:hasWife ?b)]  
23. [rule22:(?a fa:isWifeOf ?b)->(?a fa:hasHusband ?b)]  
24. [rule23:(?a fa:hasFather ?b) (?c fa:hasFather ?d) (?b fa:hasBrother ?d) notEqual(?b,?d)->(?a fa:hasCousin ?b)]  
25. [rule24:(?a fa:hasFather ?b)(?c fa:hasFather ?d)(?b fa:hasFather ?e)(?d fa:hasFather ?e) notEqual(?b,?d)->(?a fa:hasCousin ?c)]  
26. [rule25:(?a fa:hasSon ?b)(?b fa:hasSon ?c)->(?a fa:hasGrandSon ?c)]  
27. [rule26:(?a fa:hasSon ?b)(?b fa:hasDaughter ?c)->(?a fa:hasGrandDaughter ?c)]  
28. [rule27:(?a fa:hasFather ?b)(?b fa:hasBrother ?c)->(?a fa:hasUncle ?c)]  
29. [rule28:(?a fa:hasFather ?b)(?b fa:hasSister ?c)->(?a fa:hasAunt ?c)]  
30. [rule29:(?a fa:hasGrandSon ?b)->(?b fa:isGrandSonOf ?a)]  
31. [rule30:(?a fa:hasAunt ?b)->(?b fa:isAuntOf ?a)]  
32. [rule31:(?a fa:hasFather ?b)->(?b fa:isFatherOf ?a)]  
33. [rule32:(?a fa:hasMother ?b)->(?b fa:isMotherOf ?a)]  
34. [rule33:(?a fa:hasBrother ?b)->(?b fa:isBrotherOf ?a)]  
35. [rule34:(?a fa:hasSister ?b)->(?b fa:isSisterOf ?b)]  
36. [rule35:(?a fa:hasCousin ?b)->(?b fa:isCousinOf ?a)]  
37. [rule36:(?a fa:hasSon ?b)->(?b fa:isSonOf ?a)]  
38. [rule37:(?a fa:hasDaughter ?b)->(?b fa:isDaughterOf ?a)]  
39. [rule38:(?a fa:hasGrandDaughter ?b)->(?b fa:isGrandDaughterOf ?a)]  
40. [rule39:(?a fa:hasWife ?b)->(?b fa:isWifeOf ?a)]  
41. [rule40:(?a fa:hasHusband ?b)->(?b fa:isHusbandOf ?a)]  
42. [rule41:(?a fa:hasUncle ?b)->(?b fa:isUncleOf ?a)]  

 

下面代码是根据这个规则库查个规则的例子

 

[c-sharp] view plaincopy

1. public static void main(String[] args) {  
2.         // TODO Auto-generated method stub  
3.         List<Rule> rules=Rule.rulesFromURL("file:f:/family.rules");  
4.         System.out.println(rules.get(0));  
5.         ClauseEntry[] body=rules.get(0).getBody();  
6.         int j=rules.get(0).bodyLength();  
7.           
8.         System.out.println(j);  
9.           
10.         for (int i=0;i<j;i++){  
11.             System.out.print(body[i]+",");  
12.         }  
13.         System.out.println("/n-------------------/n");  
14.           
15.         ClauseEntry[] head=rules.get(0).getHead();  
16.         int k=rules.get(0).headLength();  
17.         for (int i=0;i<k;i++){  
18.             System.out.print(head[i]+",");  
19.         }  
20.         System.out.println("/n-------------------/n");  
21.           
22.         System.out.println(rules.get(0).getName());  
23.     }