Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi. The Description Logic Handbook: Theory, Implementation, and Applications. 2003. [BibSonomy: owl imported book proj:o4p dl semanticweb descriptionlogics] URL