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