@inproceedings{LH-ilp09,
  title = "Ideal Downward Refinement in the EL Description Logic",
  author = "Jens Lehmann and Christoph Haase",
  year = "2009",
  booktitle = "Proceedings of the 19th International Conference on Inductive Logic Programming ({ILP'09})",
  copyright = "Springer-Verlag",
  editor = "Luc De Raedt",
  location = "Leuven, Belgium",
  month = "July",
  pages = "73--87",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5989",
  doi = "10.1007/978-3-642-13840-9_8",
}