<?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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Cristina Feier</style></author><author><style face="normal" font="default" size="100%">Cuenca Grau, Bernardo</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">EL-ifying Ontologies</style></title><secondary-title><style face="normal" font="default" size="100%">Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. 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%">Rewriting</style></keyword><keyword><style  face="normal" font="default" size="100%">Tractable Reasoning</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-319-08587-6_36</style></url></web-urls></urls><pages><style face="normal" font="default" size="100%">464–479</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results.&lt;/p&gt;
</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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Cristina Feier</style></author><author><style face="normal" font="default" size="100%">Cuenca Grau, Bernardo</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pushing the Boundaries of Tractable Ontology Reasoning</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II</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%">Tractable Reasoning</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-319-11915-1_10</style></url></web-urls></urls><pages><style face="normal" font="default" size="100%">148–163</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL profiles. Verifying whether a Horn ontology belongs to the class can be done in polynomial time. We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.&lt;/p&gt;
</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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Cristina Feier</style></author><author><style face="normal" font="default" size="100%">Ana Armas Romero</style></author><author><style face="normal" font="default" size="100%">Cuenca Grau, Bernardo</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs</style></title><secondary-title><style face="normal" font="default" size="100%">Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 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%">OWL</style></keyword><keyword><style  face="normal" font="default" size="100%">Tractable Reasoning</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://ceur-ws.org/Vol-1193/paper_75.pdf</style></url></web-urls></urls><pages><style face="normal" font="default" size="100%">128–140</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We investigate cases where an ontology expressed in a seemingly hard DL can be polynomially reduced to one in a simpler logic, while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. Even if an ontology cannot be fully rewritten into a profile, in many cases our transformations allow us to exploit further optimisation techniques. Moreover, the elimination of some out-of-profile axioms can improve the performance of modular reasoners, such as MORe. We have tested our techniques on both classification and data reasoning tasks with encouraging results.&lt;/p&gt;
</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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Cong Wang</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas</style></title><secondary-title><style face="normal" font="default" size="100%">Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. 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%">EL++</style></keyword><keyword><style  face="normal" font="default" size="100%">Nominal Schemas</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-39666-3_6</style></url></web-urls></urls><pages><style face="normal" font="default" size="100%">65–79</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Extending description logics with so-called nominal schemas has been shown to be a major step towards integrating description logics with rules paradigms. However, establishing efficient algorithms for reasoning with nominal schemas has so far been a challenge. In this paper, we present an algorithm to reason with the description logic fragment ELROVn, a fragment that extends EL++ with nominal schemas. We also report on an implementation and experimental evaluation of the algorithm, which shows that our approach is indeed rather efficient.&lt;/p&gt;
</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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Extending Description Logic Rules</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 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></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-30284-8_30</style></url></web-urls></urls><pages><style face="normal" font="default" size="100%">345–359</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently the most prominent paradigms used for modeling knowledge for the Semantic Web. While both of these approaches are based on classical logic, the paradigms also differ significantly, so that naive combinations result in undesirable properties such as undecidability. Recent work has shown that many rules can in fact be expressed in OWL. In this paper we extend this work to include some types of rules previously excluded. We formally define a set of first order logic rules, C-Rules, which can be expressed within OWL extended with role conjunction. We also show that the use of nominal schemas results in even broader coverage.&lt;/p&gt;
</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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Krzysztof Janowicz</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A logical geo-ontology design pattern for quantifying over types</style></title><secondary-title><style face="normal" font="default" size="100%">SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Biodiversity</style></keyword><keyword><style  face="normal" font="default" size="100%">description logics</style></keyword><keyword><style  face="normal" font="default" size="100%">Ontology Design Patterns</style></keyword><keyword><style  face="normal" font="default" size="100%">OWL</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.acm.org/10.1145/2424321.2424352</style></url></web-urls></urls><pages><style face="normal" font="default" size="100%">239–248</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></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>