"Computing Horn Rewritings of Description Logics Ontologies."

Mark Kaminski, Bernardo Cuenca Grau (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics