ARAN - Access to Research at NUI Galway

Quantified equilibrium logic and hybrid rules

ARAN - Access to Research at NUI Galway

Show simple item record

dc.contributor.author Polleres, Axel en
dc.date.accessioned 2009-11-25T16:00:40Z en
dc.date.available 2009-11-25T16:00:40Z en
dc.date.issued 2007 en
dc.identifier.citation Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde "Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (editors) "Quantified equilibrium logic and hybrid rules", Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), 4524, Springer, 2007. en
dc.identifier.uri http://hdl.handle.net/10379/415 en
dc.description.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 de- fine 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. en
dc.format application/pdf en
dc.language.iso en en
dc.publisher Springer en
dc.subject.lcsh Semantic web en
dc.subject.lcsh Ontology en
dc.title Quantified equilibrium logic and hybrid rules en
dc.type Conference paper en
dc.local.publishedsource http://www.springer.com/computer/database+management+&+information+retrieval/book/978-3-540-72981-5 en
dc.local.publisherstatement The original publication is available at www.springerlink.com en
dc.description.peer-reviewed peer-reviewed en
dc.contributor.funder inContext en

Files in this item

This item appears in the following Collection(s)

Show simple item record