<?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%">Cristina Feier</style></author><author><style face="normal" font="default" size="100%">David Carral</style></author><author><style face="normal" font="default" size="100%">Giorgio Stefanoni</style></author><author><style face="normal" font="default" size="100%">Cuenca Grau, Bernardo</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%">The Combined Approach to Query Answering Beyond the OWL 2 Profiles</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.cs.ox.ac.uk/isg/people/cristina.feier/ijcai_rsafinal.pdf</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA.&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%">Cristina Feier</style></author><author><style face="normal" font="default" size="100%">David Carral</style></author><author><style face="normal" font="default" size="100%">Giorgio Stefanoni</style></author><author><style face="normal" font="default" size="100%">Cuenca Grau, Bernardo</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%">Extending the Combined Approach Beyond Lightweight Description Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 28th International Workshop on Description Logics (DL)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.cs.ox.ac.uk/isg/people/cristina.feier/pdfs/dlmain.pdf</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results are significant in practice since many out-of-profile Horn ontologies are RSA.&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%">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%">Evgeny Kharlamov</style></author><author><style face="normal" font="default" size="100%">Martin Giese</style></author><author><style face="normal" font="default" size="100%">Ernesto Jiménez-Ruiz</style></author><author><style face="normal" font="default" size="100%">Martin G. Skjæveland</style></author><author><style face="normal" font="default" size="100%">Ahmet Soylu</style></author><author><style face="normal" font="default" size="100%">Dmitriy Zheleznyakov</style></author><author><style face="normal" font="default" size="100%">Timea Bagosi</style></author><author><style face="normal" font="default" size="100%">Marco Console</style></author><author><style face="normal" font="default" size="100%">Peter Haase</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author><author><style face="normal" font="default" size="100%">Sarunas Marciuska</style></author><author><style face="normal" font="default" size="100%">Christoph Pinkel</style></author><author><style face="normal" font="default" size="100%">Mariano Rodriguez-Muro</style></author><author><style face="normal" font="default" size="100%">Marco Ruzzi</style></author><author><style face="normal" font="default" size="100%">Valerio Santarelli</style></author><author><style face="normal" font="default" size="100%">Domenico Fabio Savo</style></author><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author><author><style face="normal" font="default" size="100%">Michael Schmidt</style></author><author><style face="normal" font="default" size="100%">Evgenij Thorstensen</style></author><author><style face="normal" font="default" size="100%">Johannes Trame</style></author><author><style face="normal" font="default" size="100%">Arild Waaler</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Eva Blomqvist</style></author><author><style face="normal" font="default" size="100%">Tudor Groza</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the ISWC 2013 Posters &amp; Demonstrations Track, Sydney, Australia, October 23, 2013</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">CEUR-WS.org</style></publisher><volume><style face="normal" font="default" size="100%">1035</style></volume><pages><style face="normal" font="default" size="100%">65–68</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%">Prateek Jain</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Amit Sheth</style></author><author><style face="normal" font="default" size="100%">Kunal Verma</style></author><author><style face="normal" font="default" size="100%">Peter Z. Yeh</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Peter F. Patel-Schneider</style></author><author><style face="normal" font="default" size="100%">Yue Pan</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Peter Mika</style></author><author><style face="normal" font="default" size="100%">Lei Zhang</style></author><author><style face="normal" font="default" size="100%">Jeff Z. Pan</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author><author><style face="normal" font="default" size="100%">Birte Glimm</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontology Alignment for Linked Open Data</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-17746-0_26</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%">Shanghai, China</style></pub-location><volume><style face="normal" font="default" size="100%">6496</style></volume><pages><style face="normal" font="default" size="100%">402–417</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p class=&quot;rtejustify&quot;&gt;The Web of Data currently coming into existence through the Linked Open Data (LOD) effort is a major milestone in realizing the Semantic Web vision. However, the development of applications based on LOD faces difficulties due to the fact that the different LOD datasets are rather loosely connected pieces of information. In particular, links between LOD datasets are almost exclusively on the level of instances, and schema-level information is being ignored. In this paper, we therefore present a system for finding schema-level links between LOD datasets in the sense of ontology alignment. Our system, called BLOOMS, is based on the idea of bootstrapping information already present on the LOD cloud. We also present a comprehensive evaluation which shows that BLOOMS outperforms state-of-the-art ontology alignment systems on LOD datasets. At the same time, BLOOMS is also competitive compared with these other systems on the Ontology Evaluation Alignment Initiative Benchmark datasets.&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><secondary-authors><author><style face="normal" font="default" size="100%">Peter F. Patel-Schneider</style></author><author><style face="normal" font="default" size="100%">Yue Pan</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Peter Mika</style></author><author><style face="normal" font="default" size="100%">Lei Zhang</style></author><author><style face="normal" font="default" size="100%">Jeff Z. Pan</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author><author><style face="normal" font="default" size="100%">Birte Glimm</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2010. 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I</style></title><secondary-title><style face="normal" font="default" size="100%">9th International Semantic Web Conference, ISWC 2010</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Shanghai, China</style></pub-location><volume><style face="normal" font="default" size="100%">6496</style></volume><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>10</ref-type><contributors><secondary-authors><author><style face="normal" font="default" size="100%">Peter F. Patel-Schneider</style></author><author><style face="normal" font="default" size="100%">Yue Pan</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Peter Mika</style></author><author><style face="normal" font="default" size="100%">Lei Zhang</style></author><author><style face="normal" font="default" size="100%">Jeff Z. Pan</style></author><author><style face="normal" font="default" size="100%">Ian Horrocks</style></author><author><style face="normal" font="default" size="100%">Birte Glimm</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2010. 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II</style></title><secondary-title><style face="normal" font="default" size="100%">9th International Semantic Web Conference, ISWC 2010</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Shanghai, China</style></pub-location><volume><style face="normal" font="default" size="100%">6497</style></volume><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>