摘要
建立了本体概念集合上的一种代数结构——本体格,通过本体格上的代数性质分析本体结构的特性.由于本体的形式化研究仍处于初级阶段,尚缺乏对本体的严格的评价技术.代数方法是一种带有严谨逻辑推理的方法,代数性质是一种适用广泛的性质,本体上的代数性质可用于分析所有本体结构的特性.所以,建立的本体格为本体论的研究提供了一种具体的评价技术.
An algebra,called ontology lattice,is defined on the set of concepts about ontology.Some properties of ontology can be found out from the properties of ontology lattices.As the research about formalization of ontology is just began,there is a lack of technology for evaluating ontologies.Algebraic methods are methods with exact logical reasoning and general application.So,the algebraic properties on ontology can be used for analyzing all ontologies.The ontology lattice provides a specific technology for evaluating ontology in ontology research.
出处
《广西师范大学学报（自然科学版）》
CAS
2004年第4期27-30,共4页
Journal of Guangxi Normal University:Natural Science Edition
基金
广西自然科学基金资助项目(0447032)
关键词
本体代数
本体格
评价技术
概念分解
algebra on ontology
ontology lattice
evaluating technology
concept separating
