web知识工程-凯发k8官网下载客户端

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