7 知识推理

OWL本体语言

 

是KG语言中最规范(W3C)、最严谨(描述逻辑)、表达能力最强(一阶谓词逻辑的子集)的语言

 

一个描述逻辑系统包含四个基本组成部分：

1、最基本的元素：概念、关系、个体

2、TBox术语集(概念术语的公理集合)

3、ABox断言集(个体断言集合)

4、TBox和ABox上的推理机制

 

概念：学生

关系：朋友

个体：小明

TBox：泛化的知识。描述概念与关系的知识，被称为公理

ABox：具有个体的信息，称为断言

 

实例化materialization

TBox的策略+ABox的信息->推导

 

Tableaux运算

 

相关工具：

FaCT++推理机

Racer

Pellet

HermiT

 

Datalog

规则集：

path(x,y):-edge(x,y).

path(x,y):-path(x,z),path(z,y).

事实集：

edge(a,b).

edge(b,c).

结果集：

path(a,b).

path(b,c).

path(a,c).

 

KAON2

RDFox

Ontop

 

产生式规则：

一种向前推理系统，可以按照一定机制执行规则从而达到某些目标

事实集/运行内存(WM)

事实(WME):（student name:Alice age:24）

产生式集合(PM)：IF...THEN...

LHS：条件的集合，各条件之间式且的关系

当LHS中所有条件均被满足，则该规则触发

RHS：动作的序列，执行时依次执行(ADD,REMOVE,MODIFY)

 

IF(student name:x)

THEN ADD(Person name:x)

 

推理引擎：模式匹配，当LHS被触发时加入议程agenda

产生式系统=事实集+产生式集合+推理引擎

 

模式匹配：RETE算法

冲突解决：从被触发的多条规则中选择一条

1、随机

2、选最具体的

3、选最近没有被触发的

 

工具：

Drools

rule "name"

    attributes

when

    lhs

then

    rhs

end

 

Jena

RDF4J

GraphDB

 

基于并行技术的方法：

多线程、GPU、多机环境下基于网络通信的分布式技术