B. Motik , , , R. Rosati . . Reconciling description logics and rules . . J. ACM , , 2010 . . 57 ( ( 5 ): ): 1 - - 63 . . DOI: 10.1145/1754399.1754403 http://doi.org/10.1145/1754399.1754403 . .

B. Motik , , , I. Horrocks , , , U. Sattler . . Bridging the gap between OWL and relational databases . . J. Web Semant. , , 2009 . . 7 ( ( 2 ): ): 74 - - 89 . . DOI: 10.1016/j.websem.2009.02.001 http://doi.org/10.1016/j.websem.2009.02.001 . .

Y. Ren , , , J.Z. Pan , , , Y. Zhao . . Closed world reasoning for OWL2 with NBox . . J. Tsinghua Sci. Technol. , , 2010 . . 15 ( ( 6 ): ): 692 - - 701 . . DOI: 10.1016/S1007-0214(10)70117-6 http://doi.org/10.1016/S1007-0214(10)70117-6 . .

K. Sengupta , , , A.A. Krisnadhi , , , P. Hitzler . . Local closed world reasoning: grounded circumscription for OWL . . LNCS , , 2011 . . 7031 617 - - 632 . . DOI: 10.1007/978-3-642-25073-6_39 http://doi.org/10.1007/978-3-642-25073-6_39 . .

I. Seylan , , , E. Franconi , , , J. de Bruijn . . Effective Query Rewriting with Ontologies over DBoxes . . Proc. 21st Int. Joint Conf. on Artificial Intelligence , , 2009 . . p.923 - - 929 . . . .

Y. Ren , , , J.Z. Pan , , , Y. Zhao . . Soundness Preserving Approximation for TBox Reasoning . . Proc. 24th AAAI Conf. on Artificial Intelligence , , 2010 . . .

Y. Ren , , , J.Z. Pan . . Optimising Ontology Stream Reasoning with Truth Maintenance System . . Proc. ACM Conf. on Information and Knowledge Management , , 2011 . . .

Y. Ren , , , J.Z. Pan , , , K. Lee . . Parallel ABox Reasoning of EL Ontologies . . Proc. 1st Joint Int. Semantic Technology Conf. , , 2011 . . p.17 - - 32 . . . .

Y. Ren , , , J.Z. Pan , , , Y. Zhao . . Closed world reasoning for OWL2 with NBox . . J. Tsinghua Sci. Technol. , , 2010 . . 15 ( ( 6 ): ): 692 - - 701 . . DOI: 10.1016/S1007-0214(10)70117-6 http://doi.org/10.1016/S1007-0214(10)70117-6 . .

J.Z. Pan , , , E. Thomas . . Approximating OWL-DL Ontologies . . Proc. 22nd AAAI Conf. on Artificial Intelligence , , 2007 . . p.1434 - - 1439 . . . .