@inproceedings{LH09,
  title = "Ideal Downward Refinement in the $\mathcal{EL}$ Description Logic",
  author = "Jens Lehmann and Christoph Haase",
  year = "2009",
  booktitle = "Inductive Logic Programming, {ILP}",
  pages = "73--87",
  publisher = "Springer",
  series = "Lect. Notes Comp. Sci.",
  url = "https://doi.org/10.1007/978-3-642-13840-9\_8",
  volume = "5989",
  doi = "10.1007/978-3-642-13840-9\_8",
}