@book{baader2003description,
  address = {New York, NY, USA},
  editor = {Baader, Franz and Calvanese, Diego and McGuinness, Deborah L. and Nardi, Daniele and Patel-Schneider, Peter F.},
  interhash = {2f372868d92592682a7f7dadae8761e7},
  intrahash = {3f3eae59671cd44a37e32b548f8464c5},
  isbn = {0-521-78176-0},
  publisher = {Cambridge University Press},
  title = {The description logic handbook: theory, implementation, and applications},
  year = 2003
}