title = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog.},
author = {Ullrich Hustadt and Boris Motik and Ulrike Sattler}, journal = {J. Autom. Reasoning}, number = {3}, pages = {351-384}, url = {http://dblp.uni-trier.de/db/journals/jar/jar39.html#HustadtMS07}, volume = {39}, year = {2007}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s10817-007-9080-3}, date = {2007-09-18},
keywords = {dblp }
::