Title: Reducing OWL Entailment to Description Logic Satisfiability
Abstract: We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the $\mathcal{SHOIN}$ (D) and $\mathcal{SHIF}$ (D) description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability.