{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T12:57:16Z","timestamp":1765544236313},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540299226"},{"type":"electronic","value":"9783540322702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580072_13","type":"book-chapter","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T12:04:50Z","timestamp":1129896290000},"page":"160-171","source":"Crossref","is-referenced-by-count":12,"title":["Merging and Aligning Ontologies in dl-Programs"],"prefix":"10.1007","author":[{"given":"Kewen","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodney","family":"Topor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Wagner, G.: A rule-based approach to the semantic web (preliminary report). In: Proceedings of the 2nd Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML2003), pp. 111\u2013120 (2003)","DOI":"10.1007\/978-3-540-39715-1_8"},{"key":"13_CR2","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"13_CR3","unstructured":"Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Daml+oil reference description. W3C Note (December 18, 2001), \n                  \n                    http:\/\/www.w3.org\/tr\/2001\/note-daml+oilreference-20011218.html"},{"key":"13_CR4","unstructured":"Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.: Owl web ontology language reference, 3C Recommendation ( February10 2004), \n                  \n                    http:\/\/www.w3.org\/tr\/2004\/rec-owl-ref-20040210\/"},{"issue":"3","key":"13_CR5","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. Donini","year":"1998","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"13_CR6","first-page":"406","volume-title":"Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning","author":"T. Eiter","year":"1998","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A kr system dlv: Progress report, comparisons and benchmarks. In: Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 406\u2013417. Morgan Kaufmann Publishers, San Francisco (1998)"},{"key":"13_CR7","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning, pp. 141\u2013151 (2004)"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/5254.757634","volume":"14","author":"R. Fikes","year":"1999","unstructured":"Fikes, R., Farquhar, A.: Large-scale repositories of highly expressive reusable knowledge. IEEE Intelligent Systems\u00a014(2), 73\u201379 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"13_CR9","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of the International Conference on Logic Programming, pp. 579\u2013597 (1990)"},{"key":"13_CR10","unstructured":"Grau, B., Parsia, B., Sirin, E.: Combining owl ontologies using e-connections. Technical Report TR-2005-01, University of Maryland Institute for Advanced Computer Studies (UMIACS) (January 2005)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proceedings of the 12th International World Wide Web Conference, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. Journal of Artificial Intelligence Research\u00a018, 391\u2013443 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"11","key":"13_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/219717.219745","volume":"38","author":"D. Lenat","year":"1995","unstructured":"Lenat, D.: Cyc: A large-scale investment in knowledge infrastructure. Communications of ACM\u00a038(11), 33\u201338 (1995)","journal-title":"Communications of ACM"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"13_CR15","unstructured":"Noy, N., Musen, M.: An algorithm for merging and aligning ontologies: Automation and tool support. In: Proceedings of the Workshop on Ontology Management at AAAI 1999 (1999)"},{"key":"13_CR16","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"T. Swift","year":"2004","unstructured":"Swift, T.: Deduction in ontologies via asp. In: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Springer, Heidelberg (2004)"},{"key":"13_CR17","volume-title":"Proceedings of the AAAI National Conference on Artificial Intelligence","author":"K. Wang","year":"2005","unstructured":"Wang, K., Sattar, A., Su, K.: A theory of forgetting in logic programming. In: Proceedings of the AAAI National Conference on Artificial Intelligence, AAAI Press, Menlo Park (2005)"},{"key":"13_CR18","first-page":"627","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence","author":"Y. Zhang","year":"2005","unstructured":"Zhang, Y., Foo, N., Wang, K.: Solving logic program conflicts through strong and weak forgettings. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 627\u2013632. The Professional Book Centre, USA (2005)"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580072_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:31Z","timestamp":1619505931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580072_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540299226","9783540322702"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11580072_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}