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、多机环境下基于网络通信的分布式技术

 

 

发布了58 篇原创文章 · 获赞 27 · 访问量 1万+
展开阅读全文

没有更多推荐了,返回首页

©️2019 CSDN 皮肤主题: 黑客帝国 设计师: 上身试试

分享到微信朋友圈

×

扫一扫,手机浏览