@inproceedings{DBLP:conf/ilp/LehmannH07,
  author    = {Jens Lehmann and
               Pascal Hitzler},
  title     = {A Refinement Operator Based Learning Algorithm for the {\it ALC}
               Description Logic},
  booktitle = {ILP},
  year      = {2007},
  pages     = {147-160},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78469-2_17},
  crossref  = {DBLP:conf/ilp/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ilp/2007,
  editor    = {Hendrik Blockeel and
               Jan Ramon and
               Jude W. Shavlik and
               Prasad Tadepalli},
  title     = {Inductive Logic Programming, 17th International Conference,
               ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised
               Selected Papers},
  booktitle = {ILP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4894},
  year      = {2008},
  isbn      = {978-3-540-78468-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}