<?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%">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></records></xml>