知识表示和知识建模：protégé本体建模和推理（附多版本protege下载和实例文件）（王昊奋老师-课程学习笔记）

知识图谱》的第二讲课程是：知识表示和知识建模。

其中对于我的研究来说，主要是了解知识的表示历程和使用OWL语言进行本体建模。最重要的是使用本体工具（protégé）进行知识的建模。课程简单的介绍了下，结合我的学习对此进行总结。

本文的主要内容：
1、对知识的表示进行简单的介绍。
2、使用protégé进行本体建模（重点）。

知识是智能的基础。机器获得知识、运用知识。知识的表示是非常重要的。

本体很早就有了，但是现在知识图谱火起来了。主要是因为：知识图谱更多的强调数据层，但还是需要本体层来约束，还需要推理。本体主要是做知识表示，但是需要手工构建，相对低效。

知识的表示

知识的分类

常识性知识、领域性知识（作用范围）
事实性知识、过程性知识、控制知识（作用及表示）
确定性知识、不确定性知识（确定性）
逻辑性知识、形象性知识（结构及表现形式）

早期知识表示的方法

一阶谓词逻辑（First-Order Logic）
产生式规则（Production Rule）
框架（Framework）
语义网络（Semantic Network）
逻辑程序（Logic Programming）
缺省逻辑（Default Logic）
模态逻辑（Modal Logic）