Detail

A Semantical Framework for Hybrid Knowledge Bases

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.
[Joint CENTRIA/CITI Seminar]