CN113191498B - 一种基于规则的Spark分布式弹性语义流推理方法 - Google Patents

一种基于规则的Spark分布式弹性语义流推理方法 Download PDF

Info

Publication number
CN113191498B
CN113191498B CN202110482360.XA CN202110482360A CN113191498B CN 113191498 B CN113191498 B CN 113191498B CN 202110482360 A CN202110482360 A CN 202110482360A CN 113191498 B CN113191498 B CN 113191498B
Authority
CN
China
Prior art keywords
model
graph
rdf
rdfs
rules
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202110482360.XA
Other languages
English (en)
Other versions
CN113191498A (zh
Inventor
李韧
张露伊
杨建喜
王桂平
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Chongqing Jiaotong University
Original Assignee
Chongqing Jiaotong University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Chongqing Jiaotong University filed Critical Chongqing Jiaotong University
Priority to CN202110482360.XA priority Critical patent/CN113191498B/zh
Publication of CN113191498A publication Critical patent/CN113191498A/zh
Application granted granted Critical
Publication of CN113191498B publication Critical patent/CN113191498B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00Computing arrangements using knowledge-based models
    • G06N5/04Inference or reasoning models
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F16/36Creation of semantic tools, e.g. ontology or thesauri
    • G06F16/367Ontology
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00Computing arrangements using knowledge-based models
    • G06N5/02Knowledge representation; Symbolic representation
    • G06N5/022Knowledge engineering; Knowledge acquisition

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computational Linguistics (AREA)
  • Data Mining & Analysis (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Artificial Intelligence (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Animal Behavior & Ethology (AREA)
  • Databases & Information Systems (AREA)
  • Machine Translation (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

本发明公开了一种基于规则的Spark分布式弹性语义流推理方法,包括:S1、获取RDF图;S2、为RDF图的标识符构建双向字典;S3、对RDF图进行划分得到模式图模型和实例图模型;S4、利用双向字典基于模式图模型和实例图模型设计对应的键值模型;S5、基于规则的Spark分布式弹性语义流推理引擎模块读取模式图模型和实例图模型中的模式数据和实例数据,根据RDFS规则的优化顺序执行Spark作业。与现有技术相比,本发明采用分布式内存计算模型Spark,把面向分布式数据集的操作抽象成面向本地数据集的操作,进一步提高了大数据处理环境下迭代计算的效率,并且实现了分布式的内存RDFS推理,有助于进一步提升RDFS推理效率和可扩展性。

Description

一种基于规则的Spark分布式弹性语义流推理方法
技术领域
本发明涉及数据处理技术领域,具体涉及一种基于规则的Spark分布式弹性语义流推理方法。
背景技术
语义网的快速发展使得人们可获得大量的知识图谱RDF数据。然而,大多数传统推理器都是基于集中式架构设计的,使得传统推理器在性能和可伸缩性方面表现较差,不可避免的限制了处理网络规模数据的可能性。
在分布式环境下,对大量的RDF数据进行高效的RDF模式(RDFS)推理和SPARQL查询是语义网领域的一项关键而富有挑战性的任务。目前,研究人员已经提出了几种大规模RDF数据的分布式查询和推理方法。但是,大多数都是基于MapReduce的并行推理方法,效率有待进一步提高。
综上所述,本发明公开了一种基于规则的Spark分布式弹性语义流推理方法,采用分布式内存计算模型Spark,把面向分布式数据集的操作抽象成面向本地数据集的操作,进一步提高了大数据处理环境下迭代计算的效率,并且实现了分布式的内存RDFS推理,有助于进一步提升RDFS推理效率和可扩展性。
发明内容
针对上述现有技术的不足,本发明公开了一种基于规则的Spark分布式弹性语义流推理方法,采用分布式内存计算模型Spark,把面向分布式数据集的操作抽象成面向本地数据集的操作,进一步提高了大数据处理环境下迭代计算的效率,并且实现了分布式的内存RDFS推理,有助于进一步提升RDFS推理效率和可扩展性。
为了解决上述技术问题,本发明采用了如下的技术方案:
一种基于规则的Spark分布式弹性语义流推理方法,包括:
S1、获取RDF图;
S2、为RDF图的标识符构建双向字典;
S3、对RDF图进行划分得到模式图模型和实例图模型;
S4、利用双向字典基于模式图模型和实例图模型设计对应的键值模型;
S5、基于规则的Spark分布式弹性语义流推理引擎模块读取模式图模型和实例图模型中的模式数据和实例数据,根据RDFS规则的优化顺序执行Spark作业。
优选地,步骤S3包括:
S301、将RDF图映射到多个模式图模型和实例图模型,Gs=(Vs,Es,Ls),Gi=(Vi,Ei,Li),Gs表示第s个模式图模型,Vs表示Gs对应的一组类或属性节点,Es表示Gs对应的子类和子属性关系以及属性的域和范围定义的一组边,Ls表示Vs和Es中元素的对应的双向字典映射值,Gi表示第i个实例图模型,Vi表示RDF类、实例、空白节点和文字的集合,Ei表示rdf:type和用户定义的属性,Li表示Vi和Ei中元素的对应的双向字典映射值;
S302、将模式图模型存储在主计算节点的文件系统中,将实例图模型存储在内存中。
优选地,步骤S4包括:
S401、对于Vs中每一个RDF类节点v,设计一个类键值模型CR=<v,(subv,parv)>,v为CR的键,subv表示v的子类列表,parv表示v的超类列表;
S402、对于Vs中的每一个RDF属性节点p,设计一个属性键值模型PR=<p,(subp,parp,dom,rag)>,p为PR的键,subp表示p的子属性列表,parp表示p的超属性列表,dom表示p对应的域,rag表示p对应的范围;
S403、对于Vi中的每个实例节点v,构造一个实例键值模型IR=<(C,v),(InList,OutList)>,(C,v)表示IR的键部分,(InList,OutList)表示IR的值部分。
优选地,步骤S4还包括:
S404、将实例键值模型中的(C,v)设置为行键;
S405、将en和em分别作为列名存储在InList和OutList的列族中,将集合{vn}和{vm}存储在en和em列中的相应数据单元。
优选地,步骤S5包括:
S501、从模式数据和实例数据中基于RDFS语义,列出RDFS规则,并优化规则推理顺序;
S502、利用Spark分布式弹性语义流推理引擎实现分布式弹性语义流推理。
综上所述,本发明与现有技术相比,具有以下技术效果:
(1)与现有技术相比,本发明采用分布式内存计算模型Spark,把面向分布式数据集的操作抽象成面向本地数据集的操作,进一步提高了大数据处理环境下迭代计算的效率,并且实现了分布式的内存RDFS推理,有助于进一步提升RDFS推理效率和可扩展性。
(2)本发明中,可根据实例键值模型设计内存中的存储模型,能够减少磁盘读写,提高效率。
(3)现有技术中,可以通过划分RDF规则来实现分布式推理方法,但这种方法只能将简单的逻辑数据划分为独立的分区,对数据的独立性有一定的要求,未充分考虑数据之间的关联性,因此其最终推理效果不佳。本发明采用了基于图划分的技术来实现RDFS规则推理,基于图划分技术,不仅可以充分考虑RDF图内部关系,同时可以清晰了解RDF图之间的关联性。
(4)在执行推理算法的过程中会产生大量重复的三元组数据,如不删除重复的三元组,会浪费系统资源,降低推理效率。本发明借助RDD中distinct和subtract完成删除重复三元组算法,避免了对系统资源的浪费。
附图说明
为了使发明的目的、技术方案和优点更加清楚,下面将结合附图对本发明作进一步的详细描述,其中:
图1为本发明公开的一种基于规则的Spark分布式弹性语义流推理方法的流程图;
图2为Spark作业中的工作流程图;
图3为一RDF图示例;
图4为RDFS规则推理方法的流程图。
具体实施方式
下面结合附图对本发明作进一步的详细说明。
如图1及图2所示,本发明公开了一种基于规则的Spark分布式弹性语义流推理方法,包括:
S1、获取RDF图;
S2、为RDF图的标识符构建双向字典;
S3、对RDF图进行划分得到模式图模型和实例图模型;
S4、利用双向字典基于模式图模型和实例图模型设计对应的键值模型;
S5、基于规则的Spark分布式弹性语义流推理引擎模块读取模式图模型和实例图模型中的模式数据和实例数据,根据RDFS规则的优化顺序执行Spark作业。
本发明利用Spark Streaming流数据处理框架,它为连续的数据流提供了一种叫做离散流(Discretized Stream,DStream)的高级抽象。离散流的原理是按照固定的持续时间,将连续的数据流分成小的时间片批次,这样,就可采用类似批处理的方法来处理每个批次中的数据。从Spark内部来看,离散流被表示为一个又一连串RDD构成的序列,应用于离散流上的转换操作都最终会交给Spark来转换为对底层RDD的操作。本发明采用分布式内存计算模型Spark,把面向分布式数据集的操作抽象成面向本地数据集的操作,进一步提高了大数据处理环境下迭代计算的效率,并且实现了分布式的内存RDFS推理,有助于进一步提升RDFS推理效率和可扩展性。
具体实施时,步骤S3包括:
S301、将RDF图映射到多个模式图模型和实例图模型,Gs=(Vs,Es,Ls),Gi=(Vi,Ei,Li),Gs表示第s个模式图模型,Vs表示Gs对应的一组类或属性节点,Es表示Gs对应的子类和子属性关系以及属性的域和范围定义的一组边,Ls表示Vs和Es中元素的对应的双向字典映射值,Gi表示第i个实例图模型,Vi表示RDF类、实例、空白节点和文字的集合,Ei表示rdf:type和用户定义的属性,Li表示Vi和Ei中元素的对应的双向字典映射值;
S302、将模式图模型存储在主计算节点的文件系统中,将实例图模型存储在内存中。
本发明中,将实例图模型缓存在内存中,能够减少磁盘的读写,提高效率。可根据“rdf:type”和用户定义的属性关系来划分Gi中实例数据节点和属性。
具体实施时,步骤S4包括:
S401、对于Vs中每一个RDF类节点v,设计一个类键值模型CR=<v,(subv,parv)>,v为CR的键,subv表示v的子类列表,parv表示v的超类列表;
S402、对于Vs中的每一个RDF属性节点p,设计一个属性键值模型PR=<p,(subp,parp,dom,rag)>,p为PR的键,subp表示p的子属性列表,parp表示p的超属性列表,dom表示p对应的域,rag表示p对应的范围;
S403、对于Vi中的每个实例节点v,构造一个实例键值模型IR=<(C,v),(InList,OutList)>,(C,v)表示IR的键部分,(InList,OutList)表示IR的值部分。
C是v的RDF类,用“rdf:type”属性描述。InList={(en,{vn})},OutList={(em,{vm})},表示v的邻接关系。
具体实施时,步骤S4还包括:
S404、将实例键值模型中的(C,v)设置为行键;
S405、将en和em分别作为列名存储在InList和OutList的列族中,将集合{vn}和{vm}存储在en和em列中的相应数据单元。
en和em为边内和边外。{vn}和{vm}是与en和em相关的邻接节点集。
本发明中,可根据实例键值模型设计内存中的存储模型,能够减少磁盘读写,提高效率。
此外,现有技术中,可以通过划分RDF规则来实现分布式推理方法,但这种方法只能将简单的逻辑数据划分为独立的分区,对数据的独立性有一定的要求,未充分考虑数据之间的关联性,因此其最终推理效果不佳。本发明采用了基于图划分的技术来实现RDFS规则推理,基于图划分技术,不仅可以充分考虑RDF图内部关系,同时可以清晰了解RDF图之间的关联性。
如图4所示,具体实施时,步骤S5包括:
S501、从模式数据和实例数据中基于RDFS语义,列出RDFS规则,并优化规则推理顺序;
S502、利用Spark分布式弹性语义流推理引擎实现分布式弹性语义流推理。
本发明中,基于RDFS语义,可以列出适用于本框架的RDFS规则。可通过分析不同规则间的前因后果,发现某些规则。
以表1及图3为例:
表1 RDFS规则
Figure GDA0003083405300000051
rdfs:domain用来表示属性的定义域;rdfs:range用来表示值域;rdfs:subPropertyOf用来表示主语是谓语的子属性,主语和谓语都是属性;rdfs:subClassOf用来表示主语是谓语的子类,主语和谓语都是一个类。
利用本发明的方法,发现的规则为规则5和规则11,只涉及模式数据并可生成新的类和属性层次,则模式推理可在主节点中实现,此外,由于RDFS规则2、3、7和9对模式和实例数据都起作用,某些规则如规则7和规则9的输入分别依赖于规则5和规则11的结果,则据此优化规则推理顺序。
生成分布式RDFS规则推理方法的具体操作如下:
对存储在主节点中的模型CR和PR执行规则5和规则11推理,对每个节点v和p,构建一个树模型来表示层次结构,并应用深度优先策略来迭代计算规则5和规则11的闭包,最后将这些推断和原始的类和属性层次组合为ΔCR和ΔPR;
通过从内存中访问IR数据,初始化一个名为RDD(IR)的键值对RDD对象;
对于RDD(IR),调用map和filter操作符来获得OutList.e与至少一个ΔPR.p(表示PR有一个属性节点p)。相匹配的模型IR,在这些匹配到的IR模型上执行规则7以推断实例关系,并将新的(s,p,o)三元组添加到模型IR,将结果存储到RDD(ΔIR);
其中(s,p,o),s即subject,声明被描述的事物,p即predicate,表明这个事物的属性,o即object,表示这个属性的值;
对于RDD(ΔIR),调用map和filter操作符来获得其OutList.e匹配的PR.p模型IR,并执行规则2和规则3以此获得基于域和范围定义的新的“rdf:type”语句,同时,通过与CR.v匹配并执行规则9来推断新的“rdf:type”语句;
其中,“rdf:type”用来表示主语是谓语的一个实例,主语是一个资源,谓语是一个类。
最后,将更新后的数据(进行规则推理后,优化了的RDF数据)更新到相应的存储器中。在执行推理算法的过程中会产生大量重复的三元组数据,如不删除重复的三元组,会浪费系统资源,降低推理效率。本发明借助RDD中distinct和subtract完成删除重复三元组算法,避免了对系统资源的浪费。
最后说明的是,以上实施例仅用以说明本发明的技术方案而非限制,尽管通过参照本发明的优选实施例已经对本发明进行了描述,但本领域的普通技术人员应当理解,可以在形式上和细节上对其作出各种各样的改变,而不偏离所附权利要求书所限定的本发明的精神和范围。

Claims (3)

1.一种基于规则的Spark分布式弹性语义流推理方法,其特征在于,包括:
S1、获取RDF图;
S2、为RDF图的标识符构建双向字典;
S3、对RDF图进行划分得到模式图模型和实例图模型;
S4、利用双向字典基于模式图模型和实例图模型设计对应的键值模型;
S5、基于规则的Spark分布式弹性语义流推理引擎模块读取模式图模型和实例图模型中的模式数据和实例数据,根据RDFS规则的优化顺序执行Spark作业;
步骤S4包括:
S401、对于Vs中每一个RDF类节点v,设计一个类键值模型CR=<v,(subv,parv)>,v为CR的键,subv表示v的子类列表,parv表示v的超类列表;
S402、对于Vs中的每一个RDF属性节点p,设计一个属性键值模型PR=<p,(subp,parp,dom,rag)>,p为PR的键,subp表示p的子属性列表,parp表示p的超属性列表,dom表示p对应的域,rag表示p对应的范围;
S403、对于Vi中的每个实例节点v,构造一个实例键值模型IR=<(C,v),(InList,OutList)>,(C,v)表示IR的键部分,(InList,OutList)表示IR的值部分;
步骤S5包括:
S501、从模式数据和实例数据中基于RDFS语义,列出RDFS规则,并优化规则推理顺序;
S502、利用Spark分布式弹性语义流推理引擎实现分布式弹性语义流推理。
2.如权利要求1所述的基于规则的Spark分布式弹性语义流推理方法,其特征在于,步骤S3包括:
S301、将RDF图映射到多个模式图模型和实例图模型,Gs=(Vs,Es,Ls),Gi=(Vi,Ei,Li),Gs表示第s个模式图模型,Vs表示Gs对应的一组类或属性节点,Es表示Gs对应的子类和子属性关系以及属性的域和范围定义的一组边,Ls表示Vs和Es中元素的对应的双向字典映射值,Gi表示第i个实例图模型,Vi表示RDF类、实例、空白节点和文字的集合,Ei表示rdf:type和用户定义的属性,Li表示Vi和Ei中元素的对应的双向字典映射值;
S302、将模式图模型存储在主计算节点的文件系统中,将实例图模型存储在内存中。
3.如权利要求1所述的基于规则的Spark分布式弹性语义流推理方法,其特征在于,步骤S4还包括:
S404、将实例键值模型中的(C,v)设置为行键;
S405、将en和em分别作为列名存储在InList和OutList的列族中,将集合{vn}和{vm}存储在en和em列中的相应数据单元。
CN202110482360.XA 2021-04-30 2021-04-30 一种基于规则的Spark分布式弹性语义流推理方法 Active CN113191498B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202110482360.XA CN113191498B (zh) 2021-04-30 2021-04-30 一种基于规则的Spark分布式弹性语义流推理方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202110482360.XA CN113191498B (zh) 2021-04-30 2021-04-30 一种基于规则的Spark分布式弹性语义流推理方法

Publications (2)

Publication Number Publication Date
CN113191498A CN113191498A (zh) 2021-07-30
CN113191498B true CN113191498B (zh) 2022-08-05

Family

ID=76983176

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202110482360.XA Active CN113191498B (zh) 2021-04-30 2021-04-30 一种基于规则的Spark分布式弹性语义流推理方法

Country Status (1)

Country Link
CN (1) CN113191498B (zh)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103617276A (zh) * 2013-12-09 2014-03-05 南京大学 一种分布式层次化的rdf数据的存储方法
CN105976031A (zh) * 2015-03-13 2016-09-28 思科技术公司 多个语义推理引擎对数据的并行处理
CN106445913A (zh) * 2016-09-06 2017-02-22 中南大学 基于MapReduce的语义推理方法及系统
CN106844445A (zh) * 2016-12-16 2017-06-13 天津大学 基于语义的资源描述框架rdf图划分方法
KR101872414B1 (ko) * 2016-12-23 2018-06-28 충북대학교 산학협력단 분산 rdf 그래프에 대한 부하 분산을 지원하는 동적 분할 방법

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP2950507A1 (en) * 2014-05-28 2015-12-02 Fujitsu Limited Method and system for storing distributed graph data
US9785725B2 (en) * 2014-09-26 2017-10-10 Oracle International Corporation Method and system for visualizing relational data as RDF graphs with interactive response time

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103617276A (zh) * 2013-12-09 2014-03-05 南京大学 一种分布式层次化的rdf数据的存储方法
CN105976031A (zh) * 2015-03-13 2016-09-28 思科技术公司 多个语义推理引擎对数据的并行处理
CN106445913A (zh) * 2016-09-06 2017-02-22 中南大学 基于MapReduce的语义推理方法及系统
CN106844445A (zh) * 2016-12-16 2017-06-13 天津大学 基于语义的资源描述框架rdf图划分方法
KR101872414B1 (ko) * 2016-12-23 2018-06-28 충북대학교 산학협력단 분산 rdf 그래프에 대한 부하 분산을 지원하는 동적 분할 방법

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
一种基于Spark的语义推理引擎实现及应用;黄崛;《中国优秀硕士学位论文全文数据库(电子期刊)》;20180115;全文 *

Also Published As

Publication number Publication date
CN113191498A (zh) 2021-07-30

Similar Documents

Publication Publication Date Title
US20170083573A1 (en) Multi-query optimization
US20120109935A1 (en) Object model to key-value data model mapping
Zhang et al. Towards efficient join processing over large RDF graph using mapreduce
de Maindreville et al. A production rule based approach to deductive databases
Tsamoura et al. Materializing knowledge bases via trigger graphs
CN106445913A (zh) 基于MapReduce的语义推理方法及系统
Pokorný Integration of relational and graph databases functionally
Ma et al. Modeling and querying temporal RDF knowledge graphs with relational databases
CN113191498B (zh) 一种基于规则的Spark分布式弹性语义流推理方法
Wallace et al. Computationally efficient sup-t transitive closure for sparse fuzzy binary relations
RU2605387C2 (ru) Способ и система для хранения данных графов
Kim et al. Semantic query transformations for increased parallelization in distributed knowledge graph query processing
Albahli et al. ohStore: Ontology hierarchy solution to improve RDF data management
Andon et al. Mapping of description logic to the relational data model
KR101010131B1 (ko) 시맨틱 색인 처리 장치 및 그 방법과 이를 이용한 대용량 시맨틱 레파지토리 시스템
Bellomarini et al. The vadalog system: swift logic for big data and enterprise knowledge graphs
Rebele et al. Technical report: Answering datalog queries with unix shell commands
Cheiney et al. Relational storage and efficient retrieval of rules in a deductive DBMS
Schrefl et al. Self-maintaining web pages-An overview
Phuc SparkHINlog: extension of sparkDatalog for heterogeneous information network
Schildgen et al. Transformations on Graph Databases for Polyglot Persistence with NotaQL
Zhang et al. Research on SPARQL Semantic Query Technology Based on Knowledge Hybrid Storage
Chen A systematic method for query evaluation in distributed heterogeneous databases
Lanzelotte et al. OPUS: an extensible Optimizer for Up-to-date database Systems
Blume et al. Towards an incremental schema-level index for distributed linked open data graphs

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant