以高校知识为研究和应用背景,研究基于本体理论的高校知识本体结构化表示和描述,并采用protege 4.0建立了高校知识本体。同时从高校知识中提取出基本公理、类内公理和类间公理,建立公理库,并采用protege的PAL推理引擎对高校知识进行一致性分析和推理。解决了高校知识语义层次上的信息共享和交互的问题,为高校知识的管理提供语义支撑。
With knowledge of colleges and universities as the research and application background,the university knowledge ontology structuring representation and description based on the theory of the ontology are studied. Protege4.0 is adopted to establish the university knowledge ontology. The axiom library was established by extracting the basic axioms,class axiom and axioms between classes from university knowledge. The PAL inference engine of Protege is used to do consistency analysis and reasoning of university knowledge. The information sharing and interaction in the semantic level of knowledge in colleges and universities was realized. It provided a semantic support for knowledge management of colleges and universities.