由于现有教学资源建设缺乏对资源语义层次的考虑，导致网络教学资源的极大丰富与学习者在进行资源检索时反映出的低效率成为一对长期的矛盾。如何为学习者提供全面而准确的资源信息，已成为研究者们苦苦思索的问题。 语义Web的提出和发展为教学资源建设的语义描述问题提供了一个有效的解决思路，进而为检索效率的提高提供了语义支持。因为如何为Web资源添加语义信息是两者共同关注的问题。 本论文把Web语义的关键--本体和逻辑与资源建设的元数据标准结合起来，实现与学习者检索期望一致的语义层面的资源检索。主要进行了以下几个方面的工作： （1）在深入分析人类语义和Web语义的基础上，建立了专业资源库的语义模型，给出了模型框架和定义。 （2）对本体进行了形式化建模并提出了具体的构建方法，完成了专业资源库本体的构建。设计和抽取了一系列教学资源的语义元数据，讨论了语义元数据标注的标注模型和粒度问题。 （3）搭建了一个引入本体技术和语义Web思想的专业资源库结构平台。给出了资源库语义模型实现的系统架构，详细分析了语义元数据半自动标注和语义检索模块的实现过程。通过操作本体模型实现了半自动标注；采用Jena推理机制实现描述逻辑推理算法，应用SPARQL实现概念匹配，完成语义检索。 （4）通过一组实验数据，比较语义检索和关键字检索的相关评价指标，对原型系统的检索效果进行了评价和分析。并尝试对资源库本体进行了评价。 资源库语义模型的建立和本体结构的研究为解决用户语义层面的检索期望和资源库字面层次的匹配结果之间的矛盾提供了一个有益的尝试。原型系统语义检索和关键字检索的对比实验充分证明了本论文的工作在提高资源检索效率上的有效改进。本论文在本体评价中所作的探讨将为该领域的发展提供参考。