, t 2 , ... , t n
其中p是谓词,n是目数,t i 是项 (变量或常量)
例如:has_child(X, Y)
规则 (Rule)
H: −B 1 , B 2 ,...
一种前向推理系统,可以按照一定机制执行规则从而达到某些目标,与一阶逻辑类似,也有区别
应用
自动规划
专家系统
产生式系统的组成
事实集合 (Working Memory...: val 1 attr 2 : val 2 ... attr n : val n ),其中type, attr i , val i 均为原子 (常量)类比类和对象
例如: (student name...
当LHS中所有条件均被满足,则该规则触发
每个条件形如 (type attr 1 : spec 1 attr 2 : spec 2 ... attr n : spec n )
其中spec...
代码示例
结果输出
注: 此处推理结果与RDFox略有不同是因为Drools只进行规则推理
实践展示: 使用Jena进行知识推理
使用Jena完成示例图谱知识上的上下位推理、缺失类别补全和一致性检测等