CAJ | 학술논문

以高校知识为研究和应用背景，研究基于本体理论的高校知识本体结构化表示和描述，并采用protege 4.0建立了高校知识本体。同时从高校知识中提取出基本公理、类内公理和类间公理，建立公理库，并采用protege的PAL推理引擎对高校知识进行一致性分析和推理。解决了高校知识语义层次上的信息共享和交互的问题，为高校知识的管理提供语义支撑。
이고교지식위연구화응용배경，연구기우본체이론적고교지식본체결구화표시화묘술，병채용protege 4.0건립료고교지식본체。동시종고교지식중제취출기본공리、류내공리화류간공리，건립공리고，병채용protege적PAL추리인경대고교지식진행일치성분석화추리。해결료고교지식어의층차상적신식공향화교호적문제，위고교지식적관리제공어의지탱。
With knowledge of colleges and universities as the research and application background,the university knowl-edge 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 uni-versities was realized. It provided a semantic support for knowledge management of colleges and universities.