Reconciling description logics and rules (2010)

by Boris Motik, Riccardo Rosati