@inproceedings{debr-etal-2007,
	Abstract = {In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been proposed. They either cast rules into classical logic or limit the interaction between rules and ontologies. Autoepistemic logic (AEL) is an attractive formalism which allows to overcome these limitations, by serving as a uniform host language to embed ontologies and nonmonotonic logic programs into it. For the latter, so far only the propositional setting has been considered. In this paper, we present several embeddings of normal and disjunctive non-ground logic programs under the stable-model semantics into first-order AEL, and compare them in combination with classical theories, with respect to stable expansions and autoepistemic consequences. Our results reveal differences and correspondences of the embeddings and provide a useful guidance in the choice of a particular embedding for knowledge combination.},
	Address = {Hyderabad, India},
	Author = {Jos de Bruijn and Thomas Eiter and Axel Polleres and Hans Tompits},
	Booktitle = {Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
	Day = {6--12},
	Month = jan,
	Pages = {304--309},
	Publisher = {AAAI},
	Talk = {Jos de Bruijn},
	Title = {Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination},
	Type = CONF,
	Url = {http://www.polleres.net/publications/fo-ael-ijcai07.pdf},
	Year = 2007,
	Bdsk-Url-1 = {http://www.polleres.net/publications/fo-ael-ijcai07.pdf}}

{"_id":"jBHYjpwfWoaCHKJSv","bibbaseid":"debruijn-eiter-polleres-tompits-embeddingnongroundlogicprogramsintoautoepistemiclogicforknowledgebasecombination-2007","downloads":0,"creationDate":"2015-12-16T06:35:18.112Z","title":"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination","author_short":["de Bruijn, J.","Eiter, T.","Polleres, A.","Tompits, H."],"year":2007,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"Conference paper","abstract":"In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been proposed. They either cast rules into classical logic or limit the interaction between rules and ontologies. Autoepistemic logic (AEL) is an attractive formalism which allows to overcome these limitations, by serving as a uniform host language to embed ontologies and nonmonotonic logic programs into it. For the latter, so far only the propositional setting has been considered. In this paper, we present several embeddings of normal and disjunctive non-ground logic programs under the stable-model semantics into first-order AEL, and compare them in combination with classical theories, with respect to stable expansions and autoepistemic consequences. Our results reveal differences and correspondences of the embeddings and provide a useful guidance in the choice of a particular embedding for knowledge combination.","address":"Hyderabad, India","author":[{"firstnames":["Jos"],"propositions":["de"],"lastnames":["Bruijn"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Hans"],"propositions":[],"lastnames":["Tompits"],"suffixes":[]}],"booktitle":"Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)","day":"6–12","month":"January","pages":"304–309","publisher":"AAAI","talk":"Jos de Bruijn","title":"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination","url":"http://www.polleres.net/publications/fo-ael-ijcai07.pdf","year":"2007","bdsk-url-1":"http://www.polleres.net/publications/fo-ael-ijcai07.pdf","bibtex":"@inproceedings{debr-etal-2007,\n\tAbstract = {In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been proposed. They either cast rules into classical logic or limit the interaction between rules and ontologies. Autoepistemic logic (AEL) is an attractive formalism which allows to overcome these limitations, by serving as a uniform host language to embed ontologies and nonmonotonic logic programs into it. For the latter, so far only the propositional setting has been considered. In this paper, we present several embeddings of normal and disjunctive non-ground logic programs under the stable-model semantics into first-order AEL, and compare them in combination with classical theories, with respect to stable expansions and autoepistemic consequences. Our results reveal differences and correspondences of the embeddings and provide a useful guidance in the choice of a particular embedding for knowledge combination.},\n\tAddress = {Hyderabad, India},\n\tAuthor = {Jos de Bruijn and Thomas Eiter and Axel Polleres and Hans Tompits},\n\tBooktitle = {Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},\n\tDay = {6--12},\n\tMonth = jan,\n\tPages = {304--309},\n\tPublisher = {AAAI},\n\tTalk = {Jos de Bruijn},\n\tTitle = {Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination},\n\tType = CONF,\n\tUrl = {http://www.polleres.net/publications/fo-ael-ijcai07.pdf},\n\tYear = 2007,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/fo-ael-ijcai07.pdf}}\n\n","author_short":["de Bruijn, J.","Eiter, T.","Polleres, A.","Tompits, H."],"key":"debr-etal-2007","id":"debr-etal-2007","bibbaseid":"debruijn-eiter-polleres-tompits-embeddingnongroundlogicprogramsintoautoepistemiclogicforknowledgebasecombination-2007","role":"author","urls":{"Paper":"http://www.polleres.net/publications/fo-ael-ijcai07.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["embedding","non","ground","logic","programs","autoepistemic","logic","knowledge","base","combination","de bruijn","eiter","polleres","tompits"],"keywords":[],"authorIDs":["545720922abc8e9f370000ae","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}