Ian Horrocks, Peter F. Patel-Schneider: KR and Reasoning on the Semantic Web: OWL. Handbook of Semantic Web Technologies 2011: 365-398