{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:42Z","timestamp":1750307262084,"version":"3.41.0"},"reference-count":80,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P17212-N04P21698P21840"],"award-info":[{"award-number":["P17212-N04P21698P21840"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CICyT of Spain","award":["TIC-2003-9001"],"award-info":[{"award-number":["TIC-2003-9001"]}]},{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST 507482IST 507483IST 506779IST 231875"],"award-info":[{"award-number":["IST 507482IST 507483IST 506779IST 231875"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["SFI\/02\/CE1\/I131SFI\/08\/CE\/I1380"],"award-info":[{"award-number":["SFI\/02\/CE1\/I131SFI\/08\/CE\/I1380"]}],"id":[{"id":"10.13039\/501100001602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2011,5]]},"abstract":"<jats:p>In the context of the Semantic Web, several approaches for combining 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 overcoming 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 article, we present three embeddings of normal and three embeddings of disjunctive nonground logic programs under the stable model semantics into first-order AEL. While all embeddings correspond with respect to objective ground atoms, differences arise when considering nonatomic formulas and combinations with first-order theories. We compare the embeddings with respect to stable expansions and autoepistemic consequences, considering the embeddings by themselves, as well as combinations with classical theories. Our results reveal differences and correspondences of the embeddings, and provide useful guidance in the choice of a particular embedding for knowledge combination.<\/jats:p>","DOI":"10.1145\/1929954.1929957","type":"journal-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:03Z","timestamp":1305637143000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Embedding nonground logic programs into autoepistemic logic for knowledge-base combination"],"prefix":"10.1145","volume":"12","author":[{"given":"Jos De","family":"Bruijn","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[{"name":"Digital Enterprise Research Institute, National University of Ireland, Galway, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,16]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"Abiteboul S. Hull R. and Vianu V. 1995. Foundations of Databases. Addison-Wesley Reading MA.   Abiteboul S. Hull R. and Vianu V. 1995. Foundations of Databases. Addison-Wesley Reading MA."},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622673.1622675"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88564-1_8"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00883932"},{"volume-title":"Proceedings of the10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06)","author":"Bonatti P.","key":"e_1_2_2_5_1"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00022-X"},{"key":"e_1_2_2_7_1","unstructured":"Bratt S. 2007. Semantic web and other technologies to watch. http:\/\/www.w3.org\/2007\/Talks\/0130-sb-W3CTechSemWeb\/.  Bratt S. 2007. Semantic web and other technologies to watch. http:\/\/www.w3.org\/2007\/Talks\/0130-sb-W3CTechSemWeb\/."},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514897"},{"volume-title":"Proceedings of the 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)","year":"1993","author":"Chen J.","key":"e_1_2_2_9_1"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11811220_1"},{"volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08)","author":"de Bruijn J.","key":"e_1_2_2_11_1"},{"volume-title":"Proceedings of the 6th International Semantic Web Conference (ISWC'07)","author":"de Bruijn J.","key":"e_1_2_2_12_1"},{"volume-title":"Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR'07)","author":"de Bruijn J.","key":"e_1_2_2_13_1"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00293-X"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00009-5"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008687430626"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/505372.505373"},{"volume-title":"Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR'07)","author":"Drabent W.","key":"e_1_2_2_18_1"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.04.002"},{"volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05)","author":"Eiter T.","key":"e_1_2_2_20_1"},{"volume-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04)","author":"Faber W.","key":"e_1_2_2_21_1"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_10"},{"key":"e_1_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Fitting M. 1996. First Order Logic and Automated Theorem Proving 2nd Ed. Springer Berlin.   Fitting M. 1996. First Order Logic and Automated Theorem Proving 2nd Ed. Springer Berlin.","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"volume-title":"Proceedings of the 6th National Conference on Artificial Intelligence (AAAI'87)","year":"1987","author":"Gelfond M.","key":"e_1_2_2_25_1"},{"volume-title":"Proceedings of the 5th International Conference on Logic Programming (ICLP'88)","author":"Gelfond M.","key":"e_1_2_2_26_1"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"volume-title":"Proceedings of the 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)","author":"Gelfond M.","key":"e_1_2_2_28_1"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003201"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9030-5"},{"volume-title":"Proceedings of the 2nd International Semantic Web Conference (ISWC'03)","author":"Horrocks I.","key":"e_1_2_2_31_1"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.003"},{"volume-title":"SWRL: A semantic web rule language combining OWL and RuleML. Member submission","year":"2004","author":"Horrocks I.","key":"e_1_2_2_33_1"},{"volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05)","author":"Hustadt U.","key":"e_1_2_2_34_1"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018915113814"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/566385.566388"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88737-9_1"},{"volume-title":"Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08)","author":"Knorr M.","key":"e_1_2_2_38_1"},{"key":"e_1_2_2_39_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/FI-1991-153-406","article-title":"Quantification in autoepistemic logic","volume":"15","author":"Konolige K.","year":"1991","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"e_1_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Levesque H. J. and Lakemeyer G. 2000. The Logic of Knowledge Bases. MIT Press Cambridge MA.   Levesque H. J. and Lakemeyer G. 2000. The Logic of Knowledge Bases. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/4290.001.0001"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91)","year":"1991","author":"Lifschitz V.","key":"e_1_2_2_43_1"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90103-1"},{"volume-title":"Proceedings of the 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)","author":"Lifschitz V.","key":"e_1_2_2_45_1"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018978005636"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/549551"},{"volume-title":"Proceedings of the 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)","author":"Marek V. W.","key":"e_1_2_2_48_1"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/322290.322293"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_36"},{"volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07)","author":"Motik B.","key":"e_1_2_2_53_1"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.001"},{"key":"e_1_2_2_55_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1992-171-208","article-title":"On the decidability and complexity of autoepistemic reasoning","volume":"17","author":"Niemela I.","year":"1992","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_2_56_1","first-page":"W3C","article-title":"OWL 2 Web ontology language structural specification and functional-style syntax","year":"2009","journal-title":"Recommendation 27"},{"key":"e_1_2_2_57_1","first-page":"W3C","article-title":"OWL 2 Web ontology language profiles","author":"Profiles","year":"2009","journal-title":"Recommendation 27"},{"key":"e_1_2_2_58_1","first-page":"W3C","article-title":"OWLWeb ontology language semantics and abstract syntax","author":"Semantics","year":"2004","journal-title":"Recommendation 10"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-8473-8"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002973"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242679"},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037171"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90013-A"},{"key":"e_1_2_2_64_1","first-page":"W3C","article-title":"Resource description framework (RDF): Concepts and abstract syntax","author":"Concepts","year":"2004","journal-title":"Recommendation 10"},{"key":"e_1_2_2_65_1","first-page":"W3C","article-title":"RDF vocabulary description language 1.0: RDF Schema","author":"Schema","year":"2004","journal-title":"Recommendation 10"},{"key":"e_1_2_2_66_1","first-page":"W3C","article-title":"RDF semantics","author":"Semantics","year":"2004","journal-title":"Recommendation 10"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"e_1_2_2_68_1","first-page":"W3C","article-title":"RIF basic logic dialect","volume":"22","year":"2009","journal-title":"Recommendation"},{"key":"e_1_2_2_69_1","first-page":"W3C","article-title":"RIF RDF and OWL compatibility","volume":"22","year":"2009","journal-title":"Recommendation"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.5555\/648150.750790"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.5555\/646399.759095"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.002"},{"volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06)","year":"2006","author":"Rosati R.","key":"e_1_2_2_73_1"},{"key":"e_1_2_2_74_1","first-page":"142","article-title":"Relationships with other formalisms. In The Description Logic Handbook, F. Baader et al. Eds., Cambridge University Press, Cambridge, UK","volume":"4","author":"Sattler U.","year":"2003","journal-title":"Ch."},{"key":"e_1_2_2_75_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1992-171-209","article-title":"Refiexive autoepistemic logic","volume":"17","author":"Schwarz G.","year":"1992","journal-title":"Fundamenta Informaticae"},{"volume-title":"Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'90)","year":"1990","author":"Shvarts G. F.","key":"e_1_2_2_76_1"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002936"},{"key":"e_1_2_2_78_1","first-page":"W3C","article-title":"SPARQL Query language for RDF","author":"SPARQL","year":"2008","journal-title":"Recommendation 15"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90104-J"},{"volume-title":"Proceedings of the 14th International Conference on Logic Programming (ICLP97)","year":"1997","author":"Van Belleghem K.","key":"e_1_2_2_80_1"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929954.1929957","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1929954.1929957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:38Z","timestamp":1750243958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929954.1929957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":80,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["10.1145\/1929954.1929957"],"URL":"https:\/\/doi.org\/10.1145\/1929954.1929957","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2011,5]]},"assertion":[{"value":"2008-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}