<?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%">Cogan Shimizu</style></author><author><style face="normal" font="default" size="100%">Aaron Eberhart</style></author><author><style face="normal" font="default" size="100%">Nazifa Karima</style></author><author><style face="normal" font="default" size="100%">Quinn Hirt</style></author><author><style face="normal" font="default" size="100%">Adila Krisnadhi</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 Method for Automatically Generating Schema Diagrams for OWL Ontologies</style></title><secondary-title><style face="normal" font="default" size="100%">1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC)</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">design patterns</style></keyword><keyword><style  face="normal" font="default" size="100%">evaluation</style></keyword><keyword><style  face="normal" font="default" size="100%">implementation</style></keyword><keyword><style  face="normal" font="default" size="100%">ontology</style></keyword><keyword><style  face="normal" font="default" size="100%">schema diagrams</style></keyword><keyword><style  face="normal" font="default" size="100%">visualization</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2019</style></year><pub-dates><date><style  face="normal" font="default" size="100%">06/2019</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Villa Clara, Cuba</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Interest in Semantic Web technologies, including knowledge graphs and ontologies, is increasing rapidly in industry and academics. In order to support ontology engineers and domain experts, it is necessary to provide them with robust tools that facilitate the ontology engineering process. Often, the schema diagram of an ontology is the most important tool for quickly conveying the overall purpose of an ontology. In this paper, we present a method for programmatically generating a schema diagram from an OWL file. We evaluate its ability to generate schema diagrams similar to manually drawn schema diagrams and show that it outperforms VOWL and OWLGrEd. In addition, we provide a prototype implementation of this tool.&lt;/p&gt;
</style></abstract><section><style face="normal" font="default" size="100%">149-161</style></section></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%">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><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%">Markus Krötzsch</style></author><author><style face="normal" font="default" size="100%">Frederick Maier</style></author><author><style face="normal" font="default" size="100%">Adila Krisnadhi</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%">Sadagopan Srinivasan</style></author><author><style face="normal" font="default" size="100%">Krithi Ramamritham</style></author><author><style face="normal" font="default" size="100%">Arun Kumar</style></author><author><style face="normal" font="default" size="100%">M. P. Ravindra</style></author><author><style face="normal" font="default" size="100%">Elisa Bertino</style></author><author><style face="normal" font="default" size="100%">Ravi Kumar</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">datalog</style></keyword><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword><keyword><style  face="normal" font="default" size="100%">Semantic Web Rule Language</style></keyword><keyword><style  face="normal" font="default" size="100%">SROIQ</style></keyword><keyword><style  face="normal" font="default" size="100%">tractability</style></keyword><keyword><style  face="normal" font="default" size="100%">Web Ontology Language</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">03/2011</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.acm.org/10.1145/1963405.1963496</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pages><style face="normal" font="default" size="100%">645-654</style></pages><isbn><style face="normal" font="default" size="100%">978-1-4503-0632-4</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like &quot;variable nominal classes&quot; within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(\cap, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.</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%">Adila Krisnadhi</style></author><author><style face="normal" font="default" size="100%">Kunal Sengupta</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%">Riccardo Rosati</style></author><author><style face="normal" font="default" size="100%">Sebastian Rudolph</style></author><author><style face="normal" font="default" size="100%">Michael Zakharyaschev</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Local Closed World Semantics: Keep it simple, stupid!</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">circumscription</style></keyword><keyword><style  face="normal" font="default" size="100%">closed world</style></keyword><keyword><style  face="normal" font="default" size="100%">decidability</style></keyword><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">07/2011</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://ceur-ws.org/Vol-745/paper_12.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%">745</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers and at the same time are applicable, as extensions, to expressive description logics such as SROIQ, which underlies the Web Ontology Language OWL. In this paper we propose a new approach which overcomes key limitations of other major proposals made to date. It is based on an adaptation of circumscriptive description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable.</style></abstract></record></records></xml>