CAJ | 학술논문

文中研究了基于本体的几何学知识获取,并运用此方法获取几何学领域中的类、属性、关系及公理等;同时,研究了基于本体的知识表示,并将几何学知识转化为该领域本体,用RDF/OWL的形式进行描述.在此基础上构建了一个可共享、可重用、可扩展的几何学本体,形成了一套较完整的几何学知识获取和知识表示体系,将其应用于建立几何学知识库,可大大提高知识搜索和知识推理的效率,并为几何学专家系统、几何学信息检索、几何学教育系统、自然语言理解等领域提供智能基础.
문중연구료기우본체적궤하학지식획취,병운용차방법획취궤하학영역중적류、속성、관계급공리등;동시,연구료기우본체적지식표시,병장궤하학지식전화위해영역본체,용RDF/OWL적형식진행묘술.재차기출상구건료일개가공향、가중용、가확전적궤하학본체,형성료일투교완정적궤하학지식획취화지식표시체계,장기응용우건립궤하학지식고,가대대제고지식수색화지식추리적효솔,병위궤하학전가계통、궤하학신식검색、궤하학교육계통、자연어언리해등영역제공지능기출.
Knowledge acquisition is the bottleneck of knowledge engineering, and knowledge representation is the key technology in knowledge engineering. Ontology is a powerful implement for applications in many fields, which is so convenient that it is the promising method to resolve knowledge acquisition and representation. It' 11 mainly depends on semantic Web unless it has great breakthrough in Chinese natural language processing. In order to construct ontology for formalizing the concepts precisely in the very domain, and define the relationships between concepts in machine processing clearly, the authors research knowledge acquisition on domain ontology to acquire the category, the instance, the attribute, the relation and the axiom such as axioms between categories, axioms between attributes, axioms of range, axioms of semantic types and so on. Meanwhile, we research knowledge representation based on ontology to convert geometry knowledge into domain ontology represented in RDF/OWL. Furthermore, the authors establish a sharable, reusable and extensible geometry ontology and induce several geometry knowledge acquisition and representation modes, which can improve the efficiency of knowledge searching and reasoning in constructing geometry knowledge base, and also it can be the foundation of geometry expert systems, geometry information search systems, geometry educational systems and so on.