All but not nothing: Left-hand side universals for tractable OWL profiles

David Carral, Adila Alfa Krisnadhi, Sebastian Rudolph, Pascal Hitzler

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)


We show that occurrences of the universal quanti er in the left-hand side of general concept inclusions can be rewritten into ε葦++ 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 ε葦++ and Horn-SROIQ using standard reasoners.

Original languageEnglish
Pages (from-to)97-108
Number of pages12
JournalCEUR Workshop Proceedings
Publication statusPublished - 2014
Event11th International Workshop on OWL: Experiences and Directions, OWLED 2014, Co-Located with 13th International Semantic Web Conference, ISWC 2014 - Riva del Garda, Italy
Duration: 17 Oct 201418 Oct 2014

Cite this