A semantical framework for hybrid knowledge bases
de Bruijn, Jos Pearce, David Polleres, Axel Valverde, Agustín
de Bruijn, Jos
Pearce, David
Polleres, Axel
Valverde, Agustín
Publication Date
2010-05-09
Type
Article
Downloads
Citation
de Bruijn, Jos; Pearce, David; Polleres, Axel; Valverde, Agustín (2010). A semantical framework for hybrid knowledge bases. Knowledge and Information Systems 25 (1), 81-104
Abstract
In the ongoing discussion about combining rules and ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches to define a combined semantics for such hybrid knowledge bases focus mainly on decidability issues, we tackle the matter from a more general point of view. In this paper, we show how Quantified Equilibrium Logic (QEL) can function as a unified framework which embraces classical logic as well as disjunctive logic programs under the (open) answer set semantics. In the proposed variant of QEL, we relax the unique names assumption, which was present in earlier versions of QEL. Moreover, we show that this framework elegantly captures the existing modular approaches for hybrid knowledge bases in a unified way.
Funder
Publisher
Springer Nature
Publisher DOI
Rights
Attribution-NonCommercial-NoDerivs 3.0 Ireland