<?xml version="1.0" encoding="UTF-8"?><xml><records><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%">Matthias Knorr</style></author><author><style face="normal" font="default" size="100%">José Júlio Alferes</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%">Local Closed World Reasoning with Description Logics under the Well-Founded Semantics</style></title><secondary-title><style face="normal" font="default" size="100%">Artificial Intelligence</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge representation</style></keyword><keyword><style  face="normal" font="default" size="100%">Logic Programming</style></keyword><keyword><style  face="normal" font="default" size="100%">Non-monotonic reasoning</style></keyword><keyword><style  face="normal" font="default" size="100%">Ontologies</style></keyword><keyword><style  face="normal" font="default" size="100%">Semantic Web</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.artint.2011.01.007</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">175</style></volume><pages><style face="normal" font="default" size="100%">1528–1554</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;An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases [52], and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">9-10</style></issue></record></records></xml>