ISSN 1000-1239 CN 11-1777/TP
描述逻辑FL0的包含推理及其保守扩充
聂登国,康旺强,曹发生,王驹
Containing Reasoning and Its Conservative Extensionsin Description Logic FL0
Nie Dengguo,Kang Wangqiang,Cao Fasheng,Wang Ju
计算机研究与发展 . 2015, (1): 221 -228 .  DOI: 10.7544/issn1000-1239.2015.20131135