这是一个利用Protégé5.1.0手工构建的本体(ontology),该本体大概描述了大学、学位、学位课程、教师、学生等class之间的关系,而且经过reasoner检测无错误,且能在此基础之上利用SWRL语言书写规则进行推理查询