@inproceedings{debr-etal-2006c,
	Abstract = {In the ongoing discussion about rule extensions for Ontology languages 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 that 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 from earlier versions. Moreover, we show that this framework elegantly captures several modular approaches to nonmonotonic semantics for hybrid knowledge bases.},
	Author = {Jos de Bruijn and David Pearce and Axel Polleres and Agust{\'\i}n Valverde},
	Booktitle = {RuleML 2006 Workshop: Ontology and Rule Integration},
	Month = nov,
	Talk = {Axel Polleres},
	Title = {A Logic for Hybrid Rules},
	Type = WS,
	Url = {http://www.polleres.net/publications/debr-etal-2006c.pdf},
	Year = 2006,
	Bdsk-Url-1 = {http://www.polleres.net/publications/debr-etal-2006c.pdf}}

{"_id":"u4GtxaQALf2qR97L9","bibbaseid":"debruijn-pearce-polleres-agustnvalverde-alogicforhybridrules-2006","author_short":["de Bruijn, J.","Pearce, D.","Polleres, A.","Agustı́n Valverde"],"bibdata":{"bibtype":"inproceedings","type":"workshop","abstract":"In the ongoing discussion about rule extensions for Ontology languages 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 that 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 from earlier versions. Moreover, we show that this framework elegantly captures several modular approaches to nonmonotonic semantics for hybrid knowledge bases.","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":"RuleML 2006 Workshop: Ontology and Rule Integration","month":"November","talk":"Axel Polleres","title":"A Logic for Hybrid Rules","url":"http://www.polleres.net/publications/debr-etal-2006c.pdf","year":"2006","bdsk-url-1":"http://www.polleres.net/publications/debr-etal-2006c.pdf","bibtex":"@inproceedings{debr-etal-2006c,\n\tAbstract = {In the ongoing discussion about rule extensions for Ontology languages 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 that 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 from earlier versions. Moreover, we show that this framework elegantly captures several modular approaches to nonmonotonic semantics for hybrid knowledge bases.},\n\tAuthor = {Jos de Bruijn and David Pearce and Axel Polleres and Agust{\\'\\i}n Valverde},\n\tBooktitle = {RuleML 2006 Workshop: Ontology and Rule Integration},\n\tMonth = nov,\n\tTalk = {Axel Polleres},\n\tTitle = {A Logic for Hybrid Rules},\n\tType = WS,\n\tUrl = {http://www.polleres.net/publications/debr-etal-2006c.pdf},\n\tYear = 2006,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/debr-etal-2006c.pdf}}\n\n","author_short":["de Bruijn, J.","Pearce, D.","Polleres, A.","Agustı́n Valverde"],"key":"debr-etal-2006c","id":"debr-etal-2006c","bibbaseid":"debruijn-pearce-polleres-agustnvalverde-alogicforhybridrules-2006","role":"author","urls":{"Paper":"http://www.polleres.net/publications/debr-etal-2006c.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","dataSources":["gixxkiKt6rtWGoKSh","cBfwyqsLFQQMc4Fss"],"keywords":[],"search_terms":["logic","hybrid","rules","de bruijn","pearce","polleres","agustı́n valverde"],"title":"A Logic for Hybrid Rules","year":2006}