@inproceedings{conf/kr/CohenH94,
  author = {Cohen, William W. and Hirsh, Haym},
  booktitle = {KR},
  interhash = {1e055825d34721c16d743315f871d691},
  intrahash = {12c5b9d272c941d934bd3dfcc69c37f5},
  isbn = {1-55860-554-1},
  pages = {121-133},
  title = {Learning the Classic Description Logic: Theoretical and Experimental Results.},
  url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps},
  year = 1994
}

@article{journals/ml/CohenH94,
  author = {Cohen, William W. and Hirsh, Haym},
  ee = {http://www.kuenstliche-intelligenz.de/Artikel/CommonPatternsinITSArchitectures.htm},
  interhash = {5d0ea2981d99bfff3cfccc6f05856ca9},
  intrahash = {482edb5b3b5ede9a0e3be638db81e9fd},
  journal = {Machine Learning},
  number = {2-3},
  pages = {169-199},
  title = {The Learnability of Description Logics with Equality Constraints.},
  url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps},
  volume = 17,
  year = 1994
}

@inproceedings{racer,
  author = {Haarslev, Volker and Moller, Ralf},
  booktitle = {Proceedings of the 2001 International Workshop on Description Logics (DL-2001)},
  editor = {et al, D. L. McGuinness},
  interhash = {a40cfed516eb4435ae5985438df37201},
  intrahash = {2a5b2d5f5fc153811ac1c10c50902f5d},
  location = {Madrid},
  publisher = {CEUR Workshop Proceedings},
  title = {Description of the {RACER} System and its Applications},
  url = {citeseer.ist.psu.edu/article/haarslev01description.html},
  year = 2001
}

@inproceedings{Grosof2003,
  address = {Budapest, Hungary},
  author = {Grosof, Benjamin and Horrocks, Ian and Volz, Raphael and Decker, Stefan},
  booktitle = {Proc. of WWW-2003},
  interhash = {291cfd50d5543439dfdcf7e79c0dc980},
  intrahash = {a814ae2cdb62d6a6082726eef4f7e15d},
  location = {Madrid},
  month = {05},
  title = {{Description Logic Programs: Combining Logic Programs with Description Logics}},
  year = 2003
}