The Description Logic Handbook. Theory, Implementation and Applications. Cambridge, UK: Cambridge University Press - Baader, F; Calvanese, D; McGuinness, D; Nardi, D; Patel-Schneider, P (2003)
editors