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