Title | All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles |
Publication Type | Conference Papers |
Year of Publication | 2014 |
Authors | Carral, D, Krisnadhi, A, Rudolph, S, Hitzler, P |
Editor | C. Keet, M, Tamma, VAM |
Conference Name | Proceedings 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. |
Volume | 1265 |
Pagination | 97-108 |
Date Published | 10/2014 |
Publisher | CEUR-WS.org |
Keywords | description 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. |
URL | http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf |
Refereed Designation | Refereed |