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.
|Number of pages||12|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 2014|
|Event||11th 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 2014 → 18 Oct 2014