All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles.
David Carral, Adila Alfa Krisnadhi, Sebastian Rudolph, Pascal Hitzler · 2014
Abstract. We show that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of EL++ and Horn-SROIQ using standard reasoners. 1