Xiaowang Zhang Guohui Xiao Zuoquan Lin A Tableau Algorithm for Handling Inconsistency in OWL. 399-413 2009 ESWC http://dx.doi.org/10.1007/978-3-642-02121-3_31 conf/esws/2009 db/conf/esws/eswc2009.html#ZhangXL09