Ullrich Hustadt Boris Motik Ulrike Sattler Reasoning in Description Logics by a Reduction to Disjunctive Datalog. 351-384 2007 39 J. Autom. Reasoning 3 http://dx.doi.org/10.1007/s10817-007-9080-3 db/journals/jar/jar39.html#HustadtMS07