语义Web(Semantic Web)是下一代的万维网(World Wide Web)，是为了解决现在Web上的信息缺乏计算机能够理解的语义这个问题。 本文的主要内容是研究语义Web环境下的知识表达、本体构造、查询推理和基于语义Web的网络教学问题。针对本体论(Ontology)语言OIL(Ontology Inference Layer或Ontology Interchange Language)的原语在描述公理和规则方面的不足，利用OIL的开放性和可扩展性，并按照W3C的语义Web标准，定义了OIL的描述原语在逻辑公式、关系代数公理和查询推理三方面的扩展。针对现有网络教学中的难题：如知识库不能很好地共享和重用、计算机难以理解知识的语义、人机之间缺乏交互性、以学生为中心的探索式的学习难以实现等，本文把语义Web应用于网络教学，构造了部分教学本体知识库；实现了网络教学环境下的个性化的查询推理系统；并建立了语义Web下的计算机支持的协作学习(Computer Supported Collaborative Learning，CSCL)模型，对CSCL系统的实现具有指导意义。