@misc{W1542417898,
  author = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel‐Schneider},
  title = {The Description Logic Handbook},
  year = {2009}
}