<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>32</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Language for Inconsistency-Tolerant Ontology Mapping</style></title><secondary-title><style face="normal" font="default" size="100%">Computer Science and Engineering</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><volume><style face="normal" font="default" size="100%">Doctor of Philosophy</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Ontology alignment plays a key role in enabling interoperability among various data sources present in the web. The nature of the world is such, that the same concepts differ in meaning, often so slightly, which makes it difficult to relate these concepts. It is the omni-present heterogeneity that is at the core of the web. The research work presented in this dissertation, is driven by the goal of providing a robust ontology alignment language for the semantic web, as we show that description logics based alignment languages are not suitable for aligning ontologies. The adoption of the semantic web technologies has been consistently on the rise over the past decade, and it continues to show promise. The core component of the semantic web is the set of knowledge representation languages -- mainly the W3C (World Wide Web Consortium) standards Web Ontology Language (OWL), Resource Description Framework (RDF), and Rule Interchange Format (RIF). While these languages have been designed in order to be suitable for the openness and extensibility of the web, they lack certain features which we try to address in this dissertation. One such missing component is the lack of non-monotonic features, in the knowledge representation languages, that enable us to perform common sense reasoning. For example, OWL supports the open world assumption (OWA), which means that knowledge about everything is assumed to be possibly incomplete at any point of time. However, experience has shown that there are situations that require us to assume that certain parts of the knowledge base are complete. Employing the Closed World Assumption (CWA) helps us achieve this. Circumscription is a very well-known approach towards CWA, which provides closed world semantics by employing the idea of minimal models with respect to certain predicates which are closed. We provide the formal semantics of the notion of Grounded Circumscription, which is an extension of circumscription with desirable properties like decidability. We also provide a tableaux calculus to reason over knowledge bases under the notion of grounded circumscription. Another form of common sense logic, is default logic. Default logic provides a way to specify rules that, by default, hold in most cases but not necessarily in all cases. The classic example of such a rule is: If something is a bird then it flies. The power of defaults comes from the ability of the logic to handle exceptions to the default rules. For example, a bird will be assumed to fly by default unless it is an exception, i.e. it belongs to a class of birds that do not fly, like penguins. Interestingly, this property of defaults can be utilized to create mappings between concepts of different ontologies (knowledge bases). We provide a new semantics for the integration of defaults in description logics and show that it improves upon previously known results in literature. In this study, we give various examples to show the utility and advantages of using a default logic based ontology alignment language. We provide the semantics and decidability results of a default based mapping language for tractable fragments of description logics (or OWL). Furthermore, we provide a proof of concept system and qualitative analysis of the results obtained from the system when compared to that of traditional mapping repair techniques.&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%">Yingjie Hu</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><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Semantic Web Journal as Linked Data</style></title><secondary-title><style face="normal" font="default" size="100%">International Semantic Web Conference, ISWC 2015, Posters and Demonstrations Track</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2015</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><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%">Kunal Sengupta</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 Defeasible Mappings for Tractable Description Logics</style></title><secondary-title><style face="normal" font="default" size="100%">ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">237-252</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%">Christoph Pinkel</style></author><author><style face="normal" font="default" size="100%">Carsten Binnig</style></author><author><style face="normal" font="default" size="100%">Peter Haase</style></author><author><style face="normal" font="default" size="100%">Clemens Martin</style></author><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author><author><style face="normal" font="default" size="100%">Johannes Trame</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Valentina Presutti</style></author><author><style face="normal" font="default" size="100%">Claudia d'Amato</style></author><author><style face="normal" font="default" size="100%">Fabien Gandon</style></author><author><style face="normal" font="default" size="100%">Mathieu d'Aquin</style></author><author><style face="normal" font="default" size="100%">Steffen Staab</style></author><author><style face="normal" font="default" size="100%">Anna Tordai</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">How to Best Find a Partner? An Evaluation of Editing Approaches to Construct R2RML Mappings</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">8465</style></volume><pages><style face="normal" font="default" size="100%">675–690</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%">Kunal Sengupta</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Krzysztof Janowicz</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">T. Supnithi</style></author><author><style face="normal" font="default" size="100%">T. Yamaguchi</style></author><author><style face="normal" font="default" size="100%">Jeff Z. Pan</style></author><author><style face="normal" font="default" size="100%">V. Wuwongse</style></author><author><style face="normal" font="default" size="100%">M. Buranarach</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Revisiting default description logics – and their role in aligning ontologies</style></title><secondary-title><style face="normal" font="default" size="100%">Semantic Technology, 4th Joint International Conference, JIST 2014</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">default logic</style></keyword><keyword><style  face="normal" font="default" size="100%">defaults</style></keyword><keyword><style  face="normal" font="default" size="100%">description logics</style></keyword><keyword><style  face="normal" font="default" size="100%">Ontology Alignment</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%">11/2014</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Lecture Notes in Computer Science, Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Chiang Mai, Thailand</style></pub-location><volume><style face="normal" font="default" size="100%">8943</style></volume><pages><style face="normal" font="default" size="100%">3-18</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">We present a new approach to extend the Web Ontology Language (OWL) with the capabilities to reason with defaults. This work improves upon the previously established results on integrating defaults with description logics (DLs), which were shown to be decidable only when the application of defaults is restricted to named individuals in the knowledge base. We demonstrate that the application of defaults (integrated with DLs) does not have to be restricted to named individuals to retain decidability and elaborate on the application of defaults in the context of ontology alignment and ontology-based systems.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><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%">Reda Alhajj</style></author><author><style face="normal" font="default" size="100%">Jon Rokna</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Web Ontology Language (OWL)</style></title><secondary-title><style face="normal" font="default" size="100%">Encyclopedia of Social Network Analysis and Mining</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><pages><style face="normal" font="default" size="100%">2374–2378</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%">Kunal Sengupta</style></author><author><style face="normal" font="default" size="100%">Peter Haase</style></author><author><style face="normal" font="default" size="100%">Michael Schmidt</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%">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%">Editing R2RML Mappings Made Easy</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%">101–104</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%">Grant McKenzie</style></author><author><style face="normal" font="default" size="100%">Krzysztof Janowicz</style></author><author><style face="normal" font="default" size="100%">Yingjie Hu</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%">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%">Linked Scientometrics: Designing Interactive Scientometrics with Linked Data and Semantic Web Reasoning</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%">53–56</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%">Yingjie Hu</style></author><author><style face="normal" font="default" size="100%">Krzysztof Janowicz</style></author><author><style face="normal" font="default" size="100%">Grant McKenzie</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%">Harith Alani</style></author><author><style face="normal" font="default" size="100%">Lalana Kagal</style></author><author><style face="normal" font="default" size="100%">Achille Fokoue</style></author><author><style face="normal" font="default" size="100%">Paul T. Groth</style></author><author><style face="normal" font="default" size="100%">Chris Biemann</style></author><author><style face="normal" font="default" size="100%">Josiane Xavier Parreira</style></author><author><style face="normal" font="default" size="100%">Lora Aroyo</style></author><author><style face="normal" font="default" size="100%">Natasha F. Noy</style></author><author><style face="normal" font="default" size="100%">Chris Welty</style></author><author><style face="normal" font="default" size="100%">Krzysztof Janowicz</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Linked-Data-Driven and Semantically-Enabled Journal Portal for Scientometrics</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II</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%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">8219</style></volume><pages><style face="normal" font="default" size="100%">114–129</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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Krzysztof Janowicz</style></author><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The New Manuscript Review System for the Semantic Web Journal</style></title><secondary-title><style face="normal" font="default" size="100%">Semantic Web</style></secondary-title></titles><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.3233/SW-130095</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">117</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%">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%">David Carral</style></author><author><style face="normal" font="default" size="100%">Joshi, Amit Krishna</style></author><author><style face="normal" font="default" size="100%">Adila Krisnadhi</style></author><author><style face="normal" font="default" size="100%">Raghava Mutharaju</style></author><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author><author><style face="normal" font="default" size="100%">Cong Wang</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Konf Connect</style></title><secondary-title><style face="normal" font="default" size="100%">Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><pub-location><style face="normal" font="default" size="100%">Lyon, France</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;We present an application called Konf-Connect to improve&amp;nbsp;the conference attending experience of the people who attend a conference. This tool provides search facilities to nd people with similar&amp;nbsp;interests. The application makes use of Semantic Web dog food dataset&amp;nbsp;to gather information regarding the conference at hand. This is helpful for people attending the conference who are looking for networking&amp;nbsp;opportunities with people having expertise in the specic areas of interest. The application can also be extended to be used as general purpose&amp;nbsp;expert search system.&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%">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%">Sebastian Rudolph</style></author><author><style face="normal" font="default" size="100%">Claudio Gutierrez</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Local Closed World Semantics: Grounded Circumscription for Description Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">08/2011</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-23580-1</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">6902</style></volume><pages><style face="normal" font="default" size="100%">263-268</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-23579-5</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics in that extensions of minimized predicates may contain only extensions of named individuals in the knowledge base. Besides an (arguably) higher intuitive appeal, the improved semantics is applicable to expressive description logics without loss of decidability.</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%">Kunal Sengupta</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%">Lora Aroyo</style></author><author><style face="normal" font="default" size="100%">Chris Welty</style></author><author><style face="normal" font="default" size="100%">Harith Alani</style></author><author><style face="normal" font="default" size="100%">Jamie Taylor</style></author><author><style face="normal" font="default" size="100%">Abraham Bernstein</style></author><author><style face="normal" font="default" size="100%">Lalana Kagal</style></author><author><style face="normal" font="default" size="100%">Natasha F. Noy</style></author><author><style face="normal" font="default" size="100%">Eva Blomqvist</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Local Closed World Semantics: Grounded Circumscription for OWL</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">10/2011</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">7031</style></volume><pages><style face="normal" font="default" size="100%">617-632</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an undecidable logic unless severe restrictions were imposed. In particular, it was not possible, in general, to apply local closure to roles. In this paper, we provide a new approach, called grounded circumscription, which is applicable to SROIQ and other description logics around OWL without these restrictions. We show that the resulting language is decidable, and we derive an upper complexity bound. We also provide a decision procedure in the form of a tableaux algorithm.</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>