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 plain copy
  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 plain copy
  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.     }  
 

  • 1
    点赞
  • 16
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
要使用Jena规则推理本体中类的新属性,需要使用规则语言编写规则来表示推理逻辑。以下是一个简单的示例规则,用于推断本体中Person类的新属性age: ``` @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix ex: <http://www.example.com/ontologies/person.owl#> . [urn:x-hp-jena:eg:person_rules1 ( ?p ex:hasDateOfBirth ?dob ) -> ( ?p ex:hasAge ?age ) ( bind (floor((now()-?dob)/31536000000) as ?age) ) ] ``` 该规则的含义是:如果Person类有一个hasDateOfBirth属性,则通过当前日期计算出其年龄,并将其添加到该实例的属性列表中。 要将规则应用于本体或RDF数据,可以使用Jena推理机制中的推理引擎。以下是一个简单的Java代码示例,演示如何使用Jena推理机制来推断新的Person类属性: ```java import org.apache.jena.rdf.model.*; import org.apache.jena.vocabulary.*; public class RuleInferenceExample { public static void main(String[] args) { // 创建一个新的Jena模型 Model model = ModelFactory.createDefaultModel(); String NS = "http://www.example.com/ontologies/person.owl#"; model.setNsPrefix("ex", NS); // 定义Person类和hasDateOfBirth属性 Resource person = ResourceFactory.createResource(NS + "Person"); Property hasDOB = ResourceFactory.createProperty(NS + "hasDateOfBirth"); // 创建一个包含Person实例的三元组 Resource john = ResourceFactory.createResource(NS + "John"); Literal dob = ResourceFactory.createTypedLiteral("1980-01-01", XSDDatatype.XSDDate); model.add(john, RDF.type, person); model.add(john, hasDOB, dob); // 定义规则 String rules = "[...上面的规则代码...]"; // 创建推理模型并添加规则 Reasoner reasoner = new GenericRuleReasoner(Rule.parseRules(rules)); InfModel infModel = ModelFactory.createInfModel(reasoner, model); // 在推理模型中获取新属性的值 Property hasAge = ResourceFactory.createProperty(NS + "hasAge"); Literal age = infModel.getProperty(john, hasAge).getObject().asLiteral(); // 输出新属性值 System.out.println("John's age is: " + age.getInt()); } } ``` 该代码使用Jena推理机制中的通用规则推理器,并将规则应用于包含John实例的三元组。然后,它提取推理后产生的新属性值,并将其输出到控制台。 请注意,在推理规则中使用"floor"函数来计算年龄,该函数使用当前日期减去生日日期,并将结果以毫秒数的形式表示。这个数字然后被除以31536000000(即一年的毫秒数),以计算出年龄值。计算结果然后将添加到Person实例的属性列表中,使其可以在推理模型中使用。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值