Quantified Equilibrium Logic and Hybrid Rules. de Bruijn, J., Pearce, D., Polleres, A., & Agustı́n Valverde In Marchiori, M., Pan, J. Z., & de Sainte Marie, C., editors, First International Conference on Web Reasoning and Rule Systems (RR2007), volume 4524, of Lecture Notes in Computer Science (LNCS), pages 58–72, Innsbruck, Austria, June, 2007. Springer. ![Quantified Equilibrium Logic and Hybrid Rules [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex 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.
@inproceedings{debr-etal-2007b,
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.},
Address = {Innsbruck, Austria},
Author = {Jos de Bruijn and David Pearce and Axel Polleres and Agust{\'\i}n Valverde},
Booktitle = {First International Conference on Web Reasoning and Rule Systems (RR2007)},
Day = {7--8},
Editor = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie},
Month = jun,
Pages = {58--72},
Publisher = {Springer},
Series = LNCS,
Talk = {David Pearce},
Title = {Quantified Equilibrium Logic and Hybrid Rules},
Type = CONF,
Url = {http://www.polleres.net/publications/debr-etal-2007b.pdf},
Volume = {4524},
Year = 2007,
Bdsk-Url-1 = {http://www.polleres.net/publications/debr-etal-2007b.pdf}}
Downloads: 0
{"_id":"CudJreperKukoQ9Wt","bibbaseid":"debruijn-pearce-polleres-agustnvalverde-quantifiedequilibriumlogicandhybridrules-2007","author_short":["de Bruijn, J.","Pearce, D.","Polleres, A.","Agustı́n Valverde"],"bibdata":{"bibtype":"inproceedings","type":"Conference paper","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.","address":"Innsbruck, Austria","author":[{"firstnames":["Jos"],"propositions":["de"],"lastnames":["Bruijn"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Pearce"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Agustı́n Valverde"],"suffixes":[]}],"booktitle":"First International Conference on Web Reasoning and Rule Systems (RR2007)","day":"7–8","editor":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Marchiori"],"suffixes":[]},{"firstnames":["Jeff","Z."],"propositions":[],"lastnames":["Pan"],"suffixes":[]},{"firstnames":["Christian"],"propositions":["de"],"lastnames":["Sainte","Marie"],"suffixes":[]}],"month":"June","pages":"58–72","publisher":"Springer","series":"Lecture Notes in Computer Science (LNCS)","talk":"David Pearce","title":"Quantified Equilibrium Logic and Hybrid Rules","url":"http://www.polleres.net/publications/debr-etal-2007b.pdf","volume":"4524","year":"2007","bdsk-url-1":"http://www.polleres.net/publications/debr-etal-2007b.pdf","bibtex":"@inproceedings{debr-etal-2007b,\n\tAbstract = {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\nEquilibrium 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.},\n\tAddress = {Innsbruck, Austria},\n\tAuthor = {Jos de Bruijn and David Pearce and Axel Polleres and Agust{\\'\\i}n Valverde},\n\tBooktitle = {First International Conference on Web Reasoning and Rule Systems (RR2007)},\n\tDay = {7--8},\n\tEditor = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie},\n\tMonth = jun,\n\tPages = {58--72},\n\tPublisher = {Springer},\n\tSeries = LNCS,\n\tTalk = {David Pearce},\n\tTitle = {Quantified Equilibrium Logic and Hybrid Rules},\n\tType = CONF,\n\tUrl = {http://www.polleres.net/publications/debr-etal-2007b.pdf},\n\tVolume = {4524},\n\tYear = 2007,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/debr-etal-2007b.pdf}}\n\n","author_short":["de Bruijn, J.","Pearce, D.","Polleres, A.","Agustı́n Valverde"],"editor_short":["Marchiori, M.","Pan, J. Z.","de Sainte Marie, C."],"key":"debr-etal-2007b","id":"debr-etal-2007b","bibbaseid":"debruijn-pearce-polleres-agustnvalverde-quantifiedequilibriumlogicandhybridrules-2007","role":"author","urls":{"Paper":"http://www.polleres.net/publications/debr-etal-2007b.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","dataSources":["gixxkiKt6rtWGoKSh","cBfwyqsLFQQMc4Fss"],"keywords":[],"search_terms":["quantified","equilibrium","logic","hybrid","rules","de bruijn","pearce","polleres","agustı́n valverde"],"title":"Quantified Equilibrium Logic and Hybrid Rules","year":2007}