title = {The Description Logic Handbook: Theory, Implementation and Applications},
address = {Cambridge, UK}, editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider}, publisher = {Cambridge University Press}, year = {2003},
keywords = {DL }
::