Reducing OWL Entailment to Description Logic Satisfiability [chapter]

Ian Horrocks, Peter F. Patel-Schneider
2003 Lecture Notes in Computer Science  
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the SHOIN (D) and SHIF(D) description logics.
doi:10.1007/978-3-540-39718-2_2 fatcat:gdcjatae2vhixbmmfyyrru2h3u