粗描述逻辑RALCQ的Tableau推理

基于描述逻辑ALCQ,通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性。

深圳转变零售药店监管方式

深圳市近年来零售药店的发展速度超乎寻常的迅猛。据统计,2002年到2008年的7年中,深圳市零售药店的数量分别为1855家、2447家、3220家、4922家、6200家、6700家、7267家(截至2008年6月15日)。