Web-Based Ontology Languages and its Based Description Logics
The description logic handbook: theory, implementation, and applications