Computer Engineering & Science >
Research of the Rough Extension of Description Logic
Received date: 2010-03-29
Revised date: 2010-06-25
Online published: 2011-02-25
As traditional description logic systems are not good at representing uncertain (or vague) knowledge, this paper introduces lower approximation and upper approximation which are based on the rough set semantics to description logic systems, and extends the traditional description logic in a simple way. It introduces the concept of rough description logic, in the systems of which we can use appropriate subconcept and superconcept to express some vague knowledge. This paper focuses on the rough extension of the description logic ALC and introduces the syntax, semantics and related reasoning problems of the rough description logic RALC obtained after extension, and then discusses the basic idea of modeling imprecise concepts using the rough description logic. Finally, the paper presents a reasoning algorithm of the satisfiability problem of RALC. This task can make formal descriptions and reasoning of uncertain knowledge in the description logic more convenient.
WANG Suihua,ZHAO Ailing,WEI Tao . Research of the Rough Extension of Description Logic[J]. Computer Engineering & Science, 2011 , 33(2) : 137 -141 . DOI: 10.3969/j.issn.1007130X.2011.
/
| 〈 |
|
〉 |