@book{Schö00,
  added-at = {2010-11-24T12:50:37.000+0100},
  author = {Schöning, Uwe},
  biburl = {http://www.bibsonomy.org/bibtex/23add88aed8771793425b6226761e8685/lysander07},
  edition = {5. Aufl.},
  interhash = {260e4258b183afc764e48261223a459f},
  intrahash = {3add88aed8771793425b6226761e8685},
  keywords = {logic semwebss06 swss06-05 swt1011 swt1011_06 swt1112 swt1112_06},
  number = 56,
  publisher = {Spektrum Akademischer Verlag},
  timestamp = {2010-11-24T12:50:37.000+0100},
  title = {Logik für {I}nformatiker},
  url = {http://www.amazon.de/gp/product/3827410053?ie=UTF8&tag=moresemantic-21&linkCode=as2&camp=1638&creative=19454&creativeASIN=3827410053},
  year = 2000
}

@book{baader03dlhandbook,
  added-at = {2006-11-27T10:54:42.000+0100},
  address = {Cambridge},
  biburl = {http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/lysander07},
  editor = {Baader, Franz and Calvanese, Diego and McGuinness, Deborah and Nardi, Daniele and Patel-Schneider, Peter},
  interhash = {2f372868d92592682a7f7dadae8761e7},
  intrahash = {3566065693f7ae313f82f9b2a0c96936},
  keywords = {descriptionlogics knowledgeEngineering logic semwebss06 swss06-05 swss06-06},
  publisher = {Cambridge University Press},
  timestamp = {2006-11-27T10:54:42.000+0100},
  title = {The Description Logic Handbook: Theory, Implementation and Applications},
  url = {http://www.amazon.de/gp/product/0521781760?ie=UTF8&tag=moresemantic-21&linkCode=as2&camp=1638&creative=6742&creativeASIN=0521781760},
  year = 2003
}