In this work, we present a scalable rule-based reasoning algorithm for the OWL pD* language. This algorithm uses partial materialization and a syntactic ontology transformation (the extension-based knowledge model) to ...