Matthew Horridge Johannes Bauer Bijan Parsia Ulrike Sattler Understanding Entailments in OWL. 2008 OWLED http://ceur-ws.org/Vol-432/owled2008eu_submission_23.pdf conf/owled/2008 db/conf/owled/owled2008.html#HorridgeBPS08