🇿 Matthias Knorr Pascal Hitzler Frederick Maier Reconciling OWL and non-monotonic rules for the Semantic Web (2012)