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