目录 本体知识推理推理方法和工具实践:Jena 本体知识推理 owl本体语言: 最规范(W3C)、最严谨(描述逻辑)、表达能力最强(一阶谓词逻辑的可判定子集)的知识图谱语言基于RDF语法,使表示出来的文档具有语义理解的结构基础促进了统一词汇表的使用,定义了丰富的语义词汇允许逻辑推理 语法:RDF语法,即SOP三元组 描述逻辑:是一阶谓词逻辑的一个可判定子集,基本组成部分为 最基本元素:概念、关系和个体TBox术语集(概念术语的公理集合)ABox断言集(个体的断言集合)TBox和ABox上的推理机制 推理方法和工具 实践:Jena