随着信息互联网技术的发展,作为一种新兴的教育形式,网络教育是国内外教育发展的新方向,受到越来越多的重视,e-learning的产生和发展更加速了网络教育的盛行。作为目前世界上对e-Learning标准投入最深最积极的组织,IMS制定出的规范类别也最多。其中IMS学习设计规范提供了一种描述方法,说明学习者在学习环境中,以一定的顺序进行学习活动以达到预定的学习目标。学习目标是学习设计中非常重要的元素,它是学习者关于要执行的学习活动预期结果所要达到的标准、要求所作的规定或设想。学习者可以通过制定的学习目标来找寻所需要的学习资源,以满足其欲进行学习活动的条件。本文将描述逻辑语言作为一种形式化语言来对学习目标进行描述,并应用到领域本体的知识点中。本文的主要工作如下:首先,通过对本体与领域本体理论的研究,利用软件工程中的螺旋模型法构建了计算机网络课程的核心领域知识本体。然后,通过对教学目标特点与功能的分析,对教学目标分类及其编写模式的研究,找出了教学目标与学习目标之间的关系,并将教学目标的分类方法与编写模式应用到学习目标当中。其次,分析了学习目标的组成结构与层次结构及其相关属性,并将学习目标与学习活动、角色、先决条件等相关概念之间的关系进行分析和总结,构建学习目标的概念模型与信息模型,通过对这些属性的形式化定义来形式化描述学习目标。最后,开发一个实验系统,即个性化学习系统中的学习目标模块。该模块在计算机网络课程的领域知识本体基础之上,实现了对领域知识本体中某知识点学习目标的分析与制定,用户可通过该模块制定知识点学习目标,且该模块能够返回一个结果供用户选择,该结果为学习者用户进行学习活动所需要的学习资源。