<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">David Carral</style></author><author><style face="normal" font="default" size="100%">Adila Krisnadhi</style></author><author><style face="normal" font="default" size="100%">Sebastian Rudolph</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">C. Maria Keet</style></author><author><style face="normal" font="default" size="100%">Valentina A. M. Tamma</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles</style></title><secondary-title><style face="normal" font="default" size="100%">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.</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">description logics</style></keyword><keyword><style  face="normal" font="default" size="100%">Horn Logics</style></keyword><keyword><style  face="normal" font="default" size="100%">OWL</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2014</style></year><pub-dates><date><style  face="normal" font="default" size="100%">10/2014</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">CEUR-WS.org</style></publisher><volume><style face="normal" font="default" size="100%">1265</style></volume><pages><style face="normal" font="default" size="100%">97-108</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Matthias Knorr</style></author><author><style face="normal" font="default" size="100%">David Carral</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Adila Krisnadhi</style></author><author><style face="normal" font="default" size="100%">Frederick Maier</style></author><author><style face="normal" font="default" size="100%">Cong Wang</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Markus Krötzsch</style></author><author><style face="normal" font="default" size="100%">Umberto Straccia</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Recent Advances in Integrating OWL and Rules</style></title><secondary-title><style face="normal" font="default" size="100%">Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">description logics</style></keyword><keyword><style  face="normal" font="default" size="100%">OWL</style></keyword><keyword><style  face="normal" font="default" size="100%">Rules</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year><pub-dates><date><style  face="normal" font="default" size="100%">09/2012</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-33203-6_20</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Austria, Vienna</style></pub-location><volume><style face="normal" font="default" size="100%">7497</style></volume><pages><style face="normal" font="default" size="100%">225-228</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied.

We report on recent advances and ongoing work by the authors in integrating OWL and rulesWe take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rulebased formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found.</style></abstract></record></records></xml>