A semantical framework for hybrid knowledge bases

Authors:
Jos de Bruijn;David Pearce;Axel Polleres;Agustín Valverde
Affiliations:
Vienna University of Technology, Vienna, Austria;Universidad Politécnica de Madrid, Madrid, Spain;National University of Ireland, DERI Galway, Galway, Ireland;Universidad de Málaga, Málaga, Spain
Venue:
Knowledge and Information Systems
Year:
2010

Citing 0
Cited 3

Hybrid reasoning with non-monotonic rules

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Integrating rules and ontologies in the first-order stable model semantics

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
First-order stable model semantics and first-order loop formulas

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

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.