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