<?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%">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>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>