TITLE     : A polynomial time subsumption algorithm for EL under rational closure
AUTHOR(S) : Straccia U, Casini G, Meyer T
TYPE      : Other
YEAR      : 2015
CODE      : 346656

*** DO NOT EDIT THIS FILE ***