循环ALCN_Tbox具有模型的条件.pdfVIP

31 1 Vol. 31 No. 1 2008 1 CHINESE JOURNA L OF COMPU TERS Jan. 2008 ALCNTbox 1) , 3) 2) , 3) 4) 4) 曹发生 余 泉 王 驹 蒋运承 1) ( 551700) 2) ( 558000) 3) ( 541004) 4) ( 541004) ALCN , ALCNT box , Baader 2 ( Let T be a terminology such that each cycle in G contains an even number of T negative arcs. Then T is monotone) , , ALCNT box ( ) . ALCNTbox ; name symbol; ; ; Tbox TP301 Condition of Cyclic ALCNTbox Exists Model 1) , 3) 2) , 3) 4) 4) CA O FaSheng YU Quan WANG Ju JIANG YunCheng 1) (Institute of Logic and App lied L ogic, Bij ie College, Bij ie, Guizhou 551700) 2) (Dep artment of Mathematics, iannan N ormal University f or N ationalities, Duyun, Guiz hou 558000) 3) (College of Mathematics Science, Guangxi N ormal University, Guilin, Guangx i 541004) 4) (College of Comp uter Science and Inf ormation Engineering, Guangx iN ormal University, Guilin, Guangx i 541004) Abstract T he current research progresses and the existing problems of description logic system ALCN w ith terminological cycles are analyzed in this paper. The condition of cyclic A LCNTbox exists model is studied. T he mistake of proposition 2 in the paper published by Baadr in 2003 ( Let T be a terminology such that each cycle in GT contains an even number of negative arcs. Then T is monotone) is pointed out, also some modification of proposition 2