Show simple item record

dc.contributor.authorPolleres, Axelen
dc.date.accessioned2009-11-25T16:00:40Zen
dc.date.available2009-11-25T16:00:40Zen
dc.date.issued2007en
dc.identifier.citationJos 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.urihttp://hdl.handle.net/10379/415en
dc.description.abstractIn 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.formatapplication/pdfen
dc.language.isoenen
dc.publisherSpringeren
dc.subject.lcshSemantic weben
dc.subject.lcshOntologyen
dc.titleQuantified equilibrium logic and hybrid rulesen
dc.typeConference paperen
dc.local.publishedsourcehttp://www.springer.com/computer/database+management+&+information+retrieval/book/978-3-540-72981-5en
dc.local.publisherstatementThe original publication is available at www.springerlink.comen
dc.description.peer-reviewedpeer-revieweden
dc.contributor.funderinContexten
nui.item.downloads429


Files in this item

Attribution-NonCommercial-NoDerivs 3.0 Ireland
This item is available under the Attribution-NonCommercial-NoDerivs 3.0 Ireland. No item may be reproduced for commercial purposes. Please refer to the publisher's URL where this is made available, or to notes contained in the item itself. Other terms may apply.

The following license files are associated with this item:

Thumbnail

This item appears in the following Collection(s)

Show simple item record