描述逻辑LALCIO的语义及推理.PDF

32 7 Vo l. 32 N o. 7 2009 7 CH IN ESE JO U RN A L O F CO M PU T ER S J uly 2009 LALCIO 1) , 2) 3) 3) 4) 3) 蒋运承 王 驹 邓培民 汤 庸 周生明 1) ( 5 1063 1) 2) ( 100 190) 3) ( 54 1004) 4) ( 5 10275) , . , L- A LCIO , LA L CI O. LAL CIO , LA L CIO L- , LA L CIO . LA L CI O L- T P 18 DOI : 10 . 3724/ SP. J . 1016. 2009 . 01280 Semantics and Reasoning of Description Logic LALCIO JIA N G Y un- Cheng1) , 2) WA N G J u3) DEN G P ei- Min3) T A N G Y ong4) ZH O U Sheng- Ming3) 1) (School of Computer Science, South China N ormal University , Guangz hou 5 1063 1) 2) (Sate K ey Laboratory of Computer Science, Institute of Sof t are, Chinese Academy of Sciences, Beij ing 100 190) 3) (College of Comp uter Science and I nf ormation Eng ineering, Guangx iN ormal University , Guilin, Guangx i 54 1004) 4) (Dep artment of Comp uter Science, Sun Yat-Sen University , Guangz hou 5 10275) Abstract T erminolog ical cycles have been a diff icult spot in t he st udy of description lo gics fo r qu it e a f ew years. T he basic problems, such as t heir semantics and r easo ning mech anisms, h ave no t been reasonably w el l set t led . T he curr ent research progr es ses and t