OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
The description logic handbook: theory, implementation, and applications