Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D. & Patel-Schneider, P. F., ed. (2003), The description logic handbook: theory, implementation, and applications , Cambridge University Press , New York, NY, USA .