不确定时间知识图谱–uncertain temporal knowledge graph

摘要

时间数据随处可见，例如医疗历史，购物史，雇佣史和网页日志。开源的信息抽取工具证实了从这些数据源自动构建知识图谱的可行性。通常这些工具抽取出来的数据都带有它们的置信度，这就引出了不确定（概率）知识图谱的概念。由于抽取工具的问题，或者数据源自身的问题，抽取的事实关系等带有不确定性或者错误。

在本论文中，作者做了哪些工作？

1. 使用马尔可夫逻辑网的数字扩展，给出了不确定知识图谱的句法和语法
2. 给出了一个使用不等式的datalog（一种数据查询语言）约束，拓展知识图谱潜在模式，帮助解决事实冲突。
3. 描述了两个重要查询的复杂度的特点，最大后验和条件概率推理。

1 introduction

知识图谱自动构建工具经常导致知识图谱中带有噪声和错误，而在知识图谱中，这种错误会传播至推理和知识库的扩展上。因此，在早期阶段就清洗知识图谱代价是较小的。谷歌等发布的知识图谱中，事实都带了概率用来表示这条事实有多大程度上我们可以认为他是正确的，但是它们都聚焦于静态知识。但是大部分知识是动态的，即关系是时间的函数，一条知识仅在一定的时间间隔中是有效的（正确的）。因此抽取出带时间信息的知识是很重要的，现在有一些研究专注于带时间的信息抽取。随着构建不确定知识图谱的进展，开发清洗知识图谱，排除里面的错误这些工具代价不高。
论文与其他论文的一些区别：

1. 其他的没有充分利用马尔可夫逻辑网（mln）。使用mln可以顺畅地将论文的方法和一些推理工具融合起来
2. 不仅仅有不确定知识，还加入了不确定约束帮助建立一些常识规则模型，例如父亲和儿子不可能效力于一个俱乐部，这就不是严格的约束，二是软约束。
3. 别人的方法无法排除带有数值属性的事实（例如，姚明， 身高，2.26）年龄，体重。

MLN尽管比较复杂，但是已经被证明了可在抽取出来的事实上推理。也可以处理时间关系在开放信息抽取上面，还可以检查知识库的连续性。因此作者使用mln的扩展去清洗知识图谱。
论文的贡献如下：

1. 基于mln的扩展，提供了完整的句法和语法，对于不确定时间知识图谱，伴随时间推理规则
2. 在不确定时间知识图谱中对map和条件概率推理规则建立了公式，并展示了这些问题是np难的
3. 提供了约束集去清洗知识图谱中的错误。
   问题
   
   

2 预备知识

本章提供关于马尔科夫逻辑网（扩展）和知识图谱（带时间）的一般性介绍。

2.1 知识图谱

时间知识图谱的快照就是非时间知识图谱，时间知识图谱是非时间知识图谱在时间上的联合。

时间知识图谱的句法被给出，通过将时间知识具化为非时间知识，通过使用潜在的rdf句法。另一种可能的方法是扩展知识图谱的句法。

时间知识图谱的语法被给出，通过扩展rdf图的语义模型理论。下面是部分推理的规则：

我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：

1. 全新的界面设计 ，将会带来全新的写作体验；
2. 在创作中心设置你喜爱的代码高亮样式，Markdown 将代码片显示选择的高亮样式 进行展示；
3. 增加了 图片拖拽 功能，你可以将本地的图片直接拖拽到编辑区域直接展示；
4. 全新的 KaTeX数学公式 语法；
5. 增加了支持甘特图的mermaid语法1 功能；
6. 增加了 多屏幕编辑 Markdown文章功能；
7. 增加了 焦点写作模式、预览模式、简洁写作模式、左右区域同步滚轮设置 等功能，功能按钮位于编辑区域与预览区域中间；
8. 增加了 检查列表 功能。

功能快捷键

撤销：Ctrl/Command + Z
重做：Ctrl/Command + Y
加粗：Ctrl/Command + B
斜体：Ctrl/Command + I
标题：Ctrl/Command + Shift + H
无序列表：Ctrl/Command + Shift + U
有序列表：Ctrl/Command + Shift + O
检查列表：Ctrl/Command + Shift + C
插入代码：Ctrl/Command + Shift + K
插入链接：Ctrl/Command + Shift + L
插入图片：Ctrl/Command + Shift + G
查找：Ctrl/Command + F
替换：Ctrl/Command + G

合理的创建标题，有助于目录的生成

直接输入1次#，并按下space后，将生成1级标题。
输入2次#，并按下space后，将生成2级标题。
以此类推，我们支持6级标题。有助于使用

TOC

语法后生成一个完美的目录。

如何改变文本的样式

强调文本 强调文本

加粗文本 加粗文本

标记文本

删除文本

引用文本

H2O is是液体。

210 运算结果是 1024.

插入链接与图片

链接: link.

图片:

带尺寸的图片:

居中的图片:

居中并且带尺寸的图片:

当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。

如何插入一段漂亮的代码片

去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的

代码片

.

// An highlighted blockvar foo = \'bar\';

生成一个适合你的列表

• 项目项目项目

1. 项目1
2. 项目2
3. 项目3

• 计划任务
• 完成任务

创建一个表格

一个简单的表格是这么创建的：

设定内容居中、居左、居右

使用

:---------:

居中
使用

:----------

居左
使用

----------:

居右

SmartyPants

SmartyPants将ASCII标点字符转换为“智能”印刷标点HTML实体。例如：

\'Isn\'t this fun?\'

\"Isn\'t this fun?\"

-- is en-dash, --- is em-dash

创建一个自定义列表

Markdown

Text-to-HTML conversion tool

Authors

John

Luke

如何创建一个注脚

一个具有注脚的文本。2

注释也是必不可少的

Markdown将文本转换为 HTML。

KaTeX数学公式

您可以使用渲染LaTeX数学表达式 KaTeX:

Gamma公式展示 Γ(n)=(n−1)!∀n∈N\\Gamma(n) = (n-1)!\\quad\\foralln\\in\\mathbb NΓ(n)=(n−1)!∀n∈N 是通过欧拉积分

Γ(z)=∫0∞tz−1e−tdt .\\Gamma(z) = \\int_0^\\infty t^{z-1}e^{-t}dt\\,.Γ(z)=∫0∞​tz−1e−tdt.

你可以找到更多关于的信息 LaTeX 数学表达式here.

新的甘特图功能，丰富你的文章

Mon 06Mon 13Mon 20已完成 进行中 计划一 计划二 现有任务Adding GANTT diagram functionality to mermaid

• 关于 甘特图 语法，参考 这儿,

UML 图表

可以使用UML图表进行渲染。 Mermaid. 例如下面产生的一个序列图：

张三李四王五你好！李四, 最近怎么样?你最近怎么样，王五？我很好，谢谢!我很好，谢谢!李四想了很长时间,文字太长了不适合放在一行.打量着王五…很好… 王五, 你怎么样?张三李四王五

这将产生一个流程图。:

链接长方形圆圆角长方形菱形

• 关于 Mermaid 语法，参考 这儿,

FLowchart流程图

我们依旧会支持flowchart的流程图：

Created with Raphaël 2.2.0开始我的操作确认？结束yesno

• 关于 Flowchart流程图 语法，参考 这儿.

导出与导入

导出

如果你想尝试使用此编辑器, 你可以在此篇文章任意编辑。当你完成了一篇文章的写作, 在上方工具栏找到 文章导出 ，生成一个.md文件或者.html文件进行本地保存。

导入

如果你想加载一篇你写过的.md文件，在上方工具栏可以选择导入功能进行对应扩展名的文件导入，
继续你的创作。

1. mermaid语法说明 ↩︎

2. 注脚的解释 ↩︎