本课程以万维网和语义万维网为背景，以知识表示和知识推理为核心，对知识工程的基本理论、方法和技术进行介绍。具体来说，本课程的目的是让学生:（1）了解知识工程的研究历史和研究现状；（2）掌握典型的知识表示方法，包括:基于命题逻辑的知识表示、基于一阶谓词逻辑的知识表示、基于描述逻辑的知识表示、基于逻辑程序的知识表示；（3）掌握典型的知识推理方法，包括:基于消解原理的推理方法、基于Tableau的推理方法；（4）理解Web知识表示的特点，掌握语义Web的基本思想、技术现状和发展趋势；（5）掌握Web知识表示模型和语言，包括:RDFS、OWL、SWRL和SPARQL。