All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles

TitleAll But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
Publication TypeConference Papers
Year of Publication2014
AuthorsCarral, D, Krisnadhi, A, Rudolph, S, Hitzler, P
EditorC. Keet, M, Tamma, VAM
Conference NameProceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014.
Volume1265
Pagination97-108
Date Published10/2014
PublisherCEUR-WS.org
Keywordsdescription logics, Horn Logics, OWL
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.

URLhttp://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf
Refereed DesignationRefereed

Projects: