TY - Front. Comput. Sci. A1 - Dantong OUYANG, Xianji CUI, Yuxin YE T1 - Integrity constraints in OWL ontologies based on grounded circumscription Y1 - 2013-12-01 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 812 EP - 821 VL - 7 IS - 6 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-013-2284-2 ER -