CAJ | 학술논문

该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义；另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.
해문제출료기우OWL본체여Prolog규칙적평면궤하지식고적구건방법,종이가형식화지표시평면궤하중봉부적어의신식.일방면,용류형、정의역、치역、분류、속성、실례등본체묘술래표체결구화적지식,위영역내개념여개념지간관계적묘술제공형식화적어의；령일방면,용Prolog규칙래해결본체불능유효표체적제여속성지간적관계화조작등문제,종이지지복잡관계간적추리.재차기출상,용Protégé화Prolog구건료일개기우본체화규칙적평면궤하지식고.실험증명:차지식고가실현지식화어의층차상적신식사순,환가진행복잡문제구해,기봉부적어의묘술화혼합추리능력미보료전통지식고적불족.