刘亚清

（1）提出一种基于Alloy的本体一致性非标准推理方法。（2）提出一种改进的基于...