三元组表示法
定义:用于表达显示世界的概念、实体、事件以及三者关系
形式:(实体,关系,实体)或(实体,属性,属性值)
时态知识图谱
形式:四元组集合
时态知识图谱g是笛卡尔积e×r×e×t
的一个子集
g=graph图谱,e=entity实体,r=relationship关系,t=time时间戳
补全方法:
基于符号逻辑
通过构建领域本体,运用饱和度技术,推理出隐含存在的真实四元组。
基于知识表示学习
将符号映射到实值空间,采用数值运算评估四元组的真实程度。
基于符号逻辑的补全方法
基于符号逻辑的时态数据查询方法:
以领域为中心
构建语言:描述逻辑
查询语句:包含时态算子和否定联结词的一阶时态逻辑公式
以时间为中心
构建语言:时态描述逻辑
查询语句:包含时态算子的一阶时态逻辑公式
比较
以领域为中心的方法在查询语言的表达能力上要强于以实践为中心的方法
以时间为中心的方法在本体的表达能力上要强于以领域为中心的方法
依据对时间戳的处理方法:
时间戳单独编码方法
基于序列学习的方法
局限性:
不可判定性:不存在有限时间可终止的算法,使得该算法能够判定相关的推理问题是否可证。
高计算复杂性