非单调推理

国家重点实验室项目，研究语义网的非单调推理。