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

2024-01-05 18:32
文章标签 进阶 介绍 规则 推理 rules 本体 jena

本文主要是介绍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.     }  
 

这篇关于Jena进阶（二）本体推理规则（Rules）的介绍的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/573766。

相关文章

MybatisPlus service接口功能介绍

MybatisPlus service接口功能介绍

《MybatisPlusservice接口功能介绍》：本文主要介绍MybatisPlusservice接口功能介绍,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录Service接口基本用法进阶用法总结：Lambda方法Service接口基本用法MyBATisP
阅读更多...
从基础到进阶详解Pandas时间数据处理指南

从基础到进阶详解Pandas时间数据处理指南

《从基础到进阶详解Pandas时间数据处理指南》Pandas构建了完整的时间数据处理生态,核心由四个基础类构成,Timestamp,DatetimeIndex,Period和Timedelta,下面我... 目录1. 时间数据类型与基础操作1.1 核心时间对象体系1.2 时间数据生成技巧2. 时间索引与数据
阅读更多...
C++作用域和标识符查找规则详解

C++作用域和标识符查找规则详解

《C++作用域和标识符查找规则详解》在C++中,作用域（Scope）和标识符查找（IdentifierLookup）是理解代码行为的重要概念,本文将详细介绍这些规则,并通过实例来说明它们的工作原理,需... 目录作用域标识符查找规则1. 普通查找（Ordinary Lookup）2. 限定查找（Qualif
阅读更多...
MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)

MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)

《MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)》掌握多表联查(INNERJOIN,LEFTJOIN,RIGHTJOIN,FULLJOIN)和子查询（标量、列、行、表子查询、相关/非相关、... 目录第一部分：多表联查 (JOIN Operations)1. 连接的类型 (JOIN Types)
阅读更多...
Nginx Location映射规则总结归纳与最佳实践

Nginx Location映射规则总结归纳与最佳实践

《NginxLocation映射规则总结归纳与最佳实践》Nginx的location指令是配置请求路由的核心机制,其匹配规则直接影响请求的处理流程,下面给大家介绍NginxLocation映射规则... 目录一、Location匹配规则与优先级1. 匹配模式2. 优先级顺序3. 匹配示例二、Proxy_pa
阅读更多...
java中BigDecimal里面的subtract函数介绍及实现方法

java中BigDecimal里面的subtract函数介绍及实现方法

《java中BigDecimal里面的subtract函数介绍及实现方法》在Java中实现减法操作需要根据数据类型选择不同方法,主要分为数值型减法和字符串减法两种场景,本文给大家介绍java中BigD... 目录Java中BigDecimal里面的subtract函数的意思？一、数值型减法（高精度计算）1.
阅读更多...
Pytorch介绍与安装过程

Pytorch介绍与安装过程

《Pytorch介绍与安装过程》PyTorch因其直观的设计、卓越的灵活性以及强大的动态计算图功能,迅速在学术界和工业界获得了广泛认可,成为当前深度学习研究和开发的主流工具之一,本文给大家介绍Pyto... 目录1、Pytorch介绍1.1、核心理念1.2、核心组件与功能1.3、适用场景与优势总结1.4、优
阅读更多...
Java实现本地缓存的常用方案介绍

Java实现本地缓存的常用方案介绍

《Java实现本地缓存的常用方案介绍》本地缓存的代表技术主要有HashMap,GuavaCache,Caffeine和Encahche,这篇文章主要来和大家聊聊java利用这些技术分别实现本地缓存的方... 目录本地缓存实现方式HashMapConcurrentHashMapGuava CacheCaffe
阅读更多...
Spring Security介绍及配置实现代码

Spring Security介绍及配置实现代码

《SpringSecurity介绍及配置实现代码》SpringSecurity是一个功能强大的Java安全框架,它提供了全面的安全认证(Authentication)和授权(Authorizatio... 目录简介Spring Security配置配置实现代码简介Spring Security是一个功能强
阅读更多...
JSR-107缓存规范介绍

JSR-107缓存规范介绍

《JSR-107缓存规范介绍》JSR是JavaSpecificationRequests的缩写,意思是Java规范提案,下面给大家介绍JSR-107缓存规范的相关知识,感兴趣的朋友一起看看吧... 目录1.什么是jsR-1072.应用调用缓存图示3.JSR-107规范使用4.Spring 缓存机制缓存是每一
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2