分析了语义Web的体系结构及其相关知识,对本体论的逻辑基础进行了研究。在此基础上提出了一种有效的推理系统。