Franz Baader Felix Distel Exploring Finite Models in the Description Logic . 146-161 2009 ICFCA https://doi.org/10.1007/978-3-642-01815-2_12 conf/icfca/2009 db/conf/icfca/icfca2009.html#BaaderD09