《RDF Graph Partitions: a Brief Survey》——笔记

Abstract

给出图分割的理由和解决方案。使用经典图形理论解决图分割问题。提出四种将RDF图转换为古典图形的方法。

Introduction

语义Web和Linked Data environments的核心数据模型。
RDF图规模太大，无法单机处理。早期的解决方法来此RDBMS。

Preliminaries

RDF是一个非常一般的数据模型，用于描述资源和他们之间的关系。
**Definition 2.1 (Subject, predicate and object).**Subject——资源，object——关系的值，谓词表示资源的特征或方面，并表示subject和object的关系。
**Definition 2.2 (RDF triple).**Assume that $\mathcal I$ is the set of all Internationalized Resource Identifier (IRI) references, $\mathcal B$ an infinite set of blank nodes, $\mathcal L$ the set of RDF literals. An RDF triple t is defined as a triple $t=<s, p, o>$ where $s\in \mathcal L\cup \mathcal B$ is called the subject, $p\in\mathcal L$ is called the predicate and $o\in\mathcal{I\cup B\cup L}$ is called the object.
Definition 2.3 (IRIs) IRIs serve as global identifiers that can be used to identify any resource.
Definition 2.4 (Literals) Literals are a set of lexical values.包含字符串和数据类型。
Definition 2.5 (Blank nodes) existential variables used to denote the existence of some resource for which an IRI or literal is not given.
Definition 2.6 (RDF graph) let $\mathcal {L=L_S\cup L_L\cup L_D, O=I\cup B\cup L}$ and $\mathcal{S=I\cup B}$, then $\mathcal{G\subset S\times I\times O}$is a finite subset of RDF triples, which is called RDF graph.
报警了， 这个定义是什么鬼？
Definition 2.7 (Directed labeled graph) Directed labeled graph G is a quadruple $G=(V,E,lbl,L)$, where V is a set of vertices, $E=\{(v_1,v_2)|v_1,v_2\in V\}$ is a set of directed edges, $lbl:E\cup V\rightarrow L$is a labeling function, and L is a set of labels.
Definition 2.8 (k-way graph partition) Given a graph $G=(V,E,lbl,L)$， a k-way graph partitioning, C, is a division of V into k partitions $\{P_1,P_2,...,P_k \}$ such that $\bigcup_{1\le i \le k}P_i=V$, and $P_i\cap P_j=\varnothing$ for any $i\ne j$

RDF Graph Partition

Classical Graph Partitioning

最被认可的图划分算法是在METIS软件包中的gpmetis。gpmetis基于多级图分割，有三个阶段：图粗化，初始分区，图解析。粗化阶段，通过将相邻顶点对尽量折叠在一起，将输入图转化成一系列较小的图。初始分区，当所得到的图形足够低时，使用kernighan-Lin算法进行分割。解析阶段，分区展开被折叠的顶点，投影成较大的图。

3.2 Relation Between Classical Graphs and RDF Graphs

所有的图划分算法（graph partitioning algorithms）都可被用在RDF图中，如果他们转化为classical graph表示。三元组的转换是最简单的情况。
对于三元组$t=<s,p,o>$ 其中$s\in \mathcal{I\cup B,p\in L,o \in I\cup B\cup L}$被转换成有向边$s^{'}\stackrel{p^{'}}{\longrightarrow} o^{'}$，其中$s^{'},o^{'}\in V, p^{'}\in L$。
问题：三元组中p和s、o是相交的，但边中$p^{'}$和$s^{'},o^{'}$不相交。
解决方法：

1. <s,p,o> <script type="math/tex" id="MathJax-Element-7461"> </script> 转换为 $v_1(s^{'})\stackrel{p^{'}}{\longrightarrow}v_2(o^{'})$其中 $v_1,v_2\in V$并且 $s^{'},p^{'},o^{'}\in L$
2. 转换为超图，即可以让边连接多于两个节点，这种方法s,p,o都被转化成顶点。但需要为其专门设计算法，且效率不如简单图。
3. 以超图为起点，将RDF图转换成二分图。如下图
   
4. 将每个RDF三元组转换成不同的图形节点，并在共享主题，对象和/或谓词的那些节点之间生成边。

RDF比传统图更通用，有向有标记的图可以很容易转换成RDF图，但是反向变换很麻烦。这意味着每个RDF图的问题的复杂性并不比相应的经典图形问题的复杂性要好。
这里也不太懂。。

Experiment

第四种方法不如第一种好。

Conclusions

提出了RDF图分区研究领域的工作，提供了RDF图的经典图分割的见解，觉少了古典图和RDF图之间的形式关系。
We outlined a partition of the vertices of an RDF graph into two disjoint subsets. In this paper we presented works from the RDF graph partitions research area. This paper provided insights on classical graph partitioning of RDF graphs. Moreover, we presented formal relationships between classical graphs and RDF graphs. Finally, we presented experiments, which showed a great potential for the presented approaches.