| 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 |
