Boris Motik Bernardo Cuenca Grau Ian Horrocks Ulrike Sattler Representing ontologies using description logics, description graphs, and rules. 1275-1309 2009 173 Artif. Intell. 14 http://dx.doi.org/10.1016/j.artint.2009.06.003 db/journals/ai/ai173.html#MotikGHS09