@inproceedings{Grosof2003,
  author = {Grosof, Benjamin and Horrocks, Ian and Volz, Raphael and Decker, Stefan},
  title = {{Description Logic Programs: Combining Logic Programs with Description Logics}},
  booktitle = {Proc. of WWW-2003},
  year = {2003}
}

@inproceedings{racer,
  author = {Haarslev, Volker and Moller, Ralf},
  title = {Description of the {RACER} System and its Applications},
  booktitle = {Proceedings of the 2001 International Workshop on Description Logics (DL-2001)},
  publisher = {CEUR Workshop Proceedings},
  year = {2001},
  url = {citeseer.ist.psu.edu/article/haarslev01description.html}
}

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

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