@misc{117,
  author = {Giovanni Casini and Umberto Straccia and Tommie Meyer},
  title = {A Polynomial Time Subsumption Algorithm for EL⊥ under Rational Closure},
  abstract = {No Abstract},
  year = {2015},
}