Description Logics Based Conceptual Graphs Reasoning

WANG Jun,WANG Ji-jun,GAN Dan,JIANG Yun-cheng
DOI: https://doi.org/10.3969/j.issn.1002-137x.2008.08.045
2008-01-01
Computer Science
Abstract:The importance and the existing problems of conceptual graphs in knowledge representation are discussed.Then a conceptual graphs extension based on description logic which can be automatically reasoned is proposed.According to the conceptual graphs characteristics and requirement,a method to translate a subset of conceptual graphs into a knowledge base of description logic is given,and its correctness is proved.At last,the automated reasoning methods of consistency,and subsumption relation of conceptual graphs are presented,and the correctness of these reasoning methods is also proved.
What problem does this paper attempt to address?