{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T13:06:39Z","timestamp":1749042399744},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10472-012-9280-3","type":"journal-article","created":{"date-parts":[[2012,1,21]],"date-time":"2012-01-21T06:12:44Z","timestamp":1327126364000},"page":"385-425","source":"Crossref","is-referenced-by-count":12,"title":["Tightly integrated probabilistic description logic programs for representing ontology mappings"],"prefix":"10.1007","volume":"63","author":[{"given":"Thomas","family":"Lukasiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Livia","family":"Predoiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,22]]},"reference":[{"issue":"3","key":"9280_CR1","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C Baral","year":"1993","unstructured":"Baral, C., Subrahmanian, V.S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Autom. Reasoning 10(3), 399\u2013420 (1993)","journal-title":"J. Autom. Reasoning"},{"key":"9280_CR2","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: A framework for representing ontology mappings under probabilities and inconsistency. In: Proc. URSW-2007. CEUR Workshop Proceedings 327, CEUR-WS.org (2008)"},{"key":"9280_CR3","series-title":"LNCS","first-page":"178","volume-title":"Proc.\u00a0FoIKS-2008","author":"A Cal\u00ec","year":"2008","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representing ontology mappings. In: Proc.\u00a0FoIKS-2008, pp.\u00a0178\u2013198. LNCS 4932. Springer, New York (2008)"},{"key":"9280_CR4","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-642-00685-2_4","volume":"12","author":"A Cal\u00ec","year":"2009","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly coupled probabilistic description logic programs for the Semantic Web. J. Data Sem. 12, 95\u2013130 (2009)","journal-title":"J. Data Sem."},{"issue":"3","key":"9280_CR5","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"9280_CR6","unstructured":"Caracciolo, C., Euzenat, J., Hollink, L., Ichise, R., Isaac, A., Malaise, V., Meilicke, C., Pane, J., Shvaiko, P., Stuckenschmidt, H., Svab-Zamazal, O., Svatek, V.: Results of the ontology alignment evaluation initiative 2008. In: Proc.\u00a0ISWC-2008 Workshop on Ontology Matching (2008)"},{"key":"9280_CR7","unstructured":"Castano, S., Ferrara, A., Messa, G.: ISLab HMatch Results for OAEI 2006. In: Proc.\u00a0International Workshop on Ontology Matching (2006)"},{"key":"9280_CR8","unstructured":"da Costa, P.C.G.: Bayesian semantics for the Semantic Web. Doctoral dissertation, George Mason University, Fairfax, VA, USA (2005)"},{"key":"9280_CR9","first-page":"237","volume-title":"Proc.\u00a0FOIS-2006","author":"PCG Costa da","year":"2006","unstructured":"da\u00a0Costa, P.C.G., Laskey, K.B.: PR-OWL: a framework for probabilistic ontologies. In: Proc.\u00a0FOIS-2006, pp.\u00a0237\u2013249. IOS Press, Amsterdam (2006)"},{"issue":"3","key":"9280_CR10","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"9280_CR11","series-title":"LNCS","first-page":"590","volume-title":"Proc. ESWC-2006","author":"J Bruijn de","year":"2006","unstructured":"de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: The Web service modeling language WSML: an overview. In: Proc. ESWC-2006, pp.\u00a0590\u2013604. LNCS 4011. Springer, New York (2006)"},{"key":"9280_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-540-33473-6_1","volume-title":"Soft Computing in Ontologies and Semantic Web","author":"Z Ding","year":"2006","unstructured":"Ding, Z., Peng, Y., Pan, R.: BayesOWL: uncertainty modeling in Semantic Web ontologies. In: Soft Computing in Ontologies and Semantic Web, pp.\u00a03\u201328. Springer, New York (2006)"},{"key":"9280_CR13","series-title":"LNCS","first-page":"1","volume-title":"Proc. RR-2007","author":"W Drabent","year":"2007","unstructured":"Drabent, W., Ma\u0142uszy\u0144ski, J.: Well-founded semantics for hybrid rules. In: Proc. RR-2007, pp.\u00a01\u201315. LNCS 4524. Springer, New York (2007)"},{"issue":"12\/13","key":"9280_CR14","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12\/13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"9280_CR15","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. ACM Trans. Comput. Log. 12(2), Article 11 (2011)","DOI":"10.1145\/1877714.1877717"},{"key":"9280_CR16","volume-title":"Ontology Matching","author":"J Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"9280_CR17","unstructured":"Euzenat, J., Stuckenschmidt, H., Yatskevich, M.: Introduction to the ontology alignment evaluation 2005. In: Proc.\u00a0K-CAP-2005 Workshop on Integrating Ontologies (2005)"},{"key":"9280_CR18","unstructured":"Euzenat, J., Mochol, M., Shvaiko, P., Stuckenschmidt, H., Svab, O., Svatek, V., van Hage, W.R., Yatskevich, M.: First results of the ontology alignment evaluation initiative 2006. In: Proc.\u00a0ISWC-2006 Workshop on Ontology Matching (2006)"},{"key":"9280_CR19","unstructured":"Euzenat, J., Isaac, A., Meilicke, C., Shvaiko, P., Stuckenschmidt, H., Svab, O., Svatek, V., van\u00a0Hage, W.R., Yatskevich, M.: Results of the ontology alignment evaluation initiative 2007. In: Proc.\u00a0ISWC-2007 Workshop on Ontology Matching (2007)"},{"key":"9280_CR20","unstructured":"Euzenat, J., Ferrara, A., Hollink, L., Isaac, A., Joslyn, C., Malaise, V., Meilicke, C., Nikolov, A., Pane, J., Sabou, M., Scharffe, F., Shvaiko, P., Spiliopoulos, V., Stuckenschmidt, H., Svab-Zamazal, O., Svatek, V., Trojahn\u00a0dos\u00a0Santos, C., Vouros, G., Wang, S.: Results of the ontology alignment evaluation initiative 2009. In: Proc.\u00a0ISWC-2009 Workshop on Ontology Matching (2009)"},{"key":"9280_CR21","series-title":"LNCS","first-page":"200","volume-title":"Proc. JELIA-2004","author":"W Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Proc. JELIA-2004, pp.\u00a0200\u2013212. LNCS 3229. Springer, New York (2004)"},{"key":"9280_CR22","first-page":"225","volume-title":"Proc. UAI-2003","author":"A Finzi","year":"2003","unstructured":"Finzi, A., Lukasiewicz, T.: Structure-based causes and explanations in the independent choice logic. In: Proc. UAI-2003, pp.\u00a0225\u2013232. Morgan Kaufmann, San Mateo (2003)"},{"issue":"3\/4","key":"9280_CR23","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"9280_CR24","series-title":"LNCS","first-page":"86","volume-title":"Proc. JELIA-2002","author":"R Giugno","year":"2002","unstructured":"Giugno, R., Lukasiewicz, T.: P- $\\mathcal{SHOQ}({\\bf D})$ : a probabilistic extension of $\\mathcal{SHOQ}({\\bf D})$ for probabilistic ontologies in the Semantic Web. In: Proc. JELIA-2002, pp.\u00a086\u201397. LNCS 2424. Springer, New York (2002)"},{"key":"9280_CR25","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. WWW-2003","author":"BN Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logics. In: Proc. WWW-2003, pp.\u00a048\u201357. ACM Press, New York (2003)"},{"issue":"1","key":"9280_CR26","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.datak.2008.06.003","volume":"67","author":"W Hu","year":"2008","unstructured":"Hu, W., Qu, Y., Cheng, G.: Matching large ontologies: a divide-and-conquer approach. Data Knowl. Eng. 67(1), 140\u2013160 (2008)","journal-title":"Data Knowl. Eng."},{"key":"9280_CR27","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proc. IJCAI-2005, pp.\u00a0466\u2013471 (2005)"},{"issue":"4","key":"9280_CR28","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"9280_CR29","first-page":"99","volume-title":"Proc. ECAI-2008, pp.\u00a099\u2013103. Frontiers in Artificial Intelligence and Applications 178","author":"M Knorr","year":"2008","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid MKNF knowledge bases. In: Proc. ECAI-2008, pp.\u00a099\u2013103. Frontiers in Artificial Intelligence and Applications 178. IOS\u00a0Press, Amsterdam (2008)"},{"key":"9280_CR30","first-page":"390","volume-title":"Proc. AAAI-2007","author":"D Koller","year":"1997","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: a tractable probabilistic description logic. In: Proc. AAAI-2007, pp.\u00a0390\u2013397. AAAI Press, Menlo Park (1997)","edition":"2007"},{"key":"9280_CR31","series-title":"LNCS","first-page":"384","volume-title":"Proc.\u00a0ESWC-2007","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the Semantic Web. In: Proc.\u00a0ESWC-2007, pp. 384\u2013398. LNCS 4519. Springer, New York (2007)"},{"issue":"2","key":"9280_CR32","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"45","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. 45(2), 288\u2013307 (2007)","journal-title":"Int. J. Approx. Reason."},{"key":"9280_CR33","series-title":"LNCS","first-page":"143","volume-title":"Proc. SUM-2007","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Tractable probabilistic description logic programs. In: Proc. SUM-2007, pp. 143\u2013156. LNCS 4772. Springer, New York (2007)"},{"issue":"6\/7","key":"9280_CR34","doi-asserted-by":"crossref","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6\/7), 852\u2013883 (2008)","journal-title":"Artif. Intell."},{"issue":"11","key":"9280_CR35","doi-asserted-by":"crossref","first-page":"1577","DOI":"10.1109\/TKDE.2010.111","volume":"22","author":"T Lukasiewicz","year":"2010","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the Semantic Web. IEEE Trans. Knowl. Data Eng. 22(11), 1577\u20131592 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9280_CR36","series-title":"LNCS","first-page":"16","volume-title":"Proc.\u00a0SUM-2007","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the Semantic Web. In: Proc.\u00a0SUM-2007, pp. 16\u201330. LNCS 4772. Springer, New York (2007)"},{"key":"9280_CR37","first-page":"1408","volume-title":"Proc.\u00a0AAAI-2007","author":"C Meilicke","year":"2007","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc.\u00a0AAAI-2007, pp. 1408\u20131413. AAAI Press, Menlo Park (2007)"},{"key":"9280_CR38","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proc. IJCAI-2007, pp. 477\u2013482. AAAI Press\/IJCAI (2007)"},{"key":"9280_CR39","series-title":"LNCS","first-page":"501","volume-title":"Proc. ISWC-2006","author":"B Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Proc. ISWC-2006, pp. 501\u2013514. LNCS 4273. Springer, New York (2006)"},{"issue":"1","key":"9280_CR40","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1142\/S0218488506003819","volume":"14","author":"H Nottelmann","year":"2006","unstructured":"Nottelmann, H., Fuhr, N.: Adding probabilities and rules to OWL Lite subsets based on probabilistic Datalog. Int. J. Uncertain. Fuzziness Knowledge-Based Syst. 14(1), 17\u201342 (2006)","journal-title":"Int. J. Uncertain. Fuzziness Knowledge-Based Syst."},{"key":"9280_CR41","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Sem. 10, 133\u2013173 (2008)","journal-title":"J. Data Sem."},{"issue":"1\/2","key":"9280_CR42","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1\/2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"key":"9280_CR43","doi-asserted-by":"crossref","unstructured":"Predoiu, L.: Probabilistic models for the Semantic Web. In: Ma, Z., Wang, H. (eds.) The Semantic Web for Knowledge and Data Management: Technologies and Practices, pp.\u00a074\u2013105. Information Science Reference (2009)","DOI":"10.4018\/978-1-60566-028-8.ch005"},{"key":"9280_CR44","doi-asserted-by":"crossref","unstructured":"Predoiu, L., Stuckenschmidt, H.: A probabilistic framework for information integration and retrieval on the Semantic Web. In: Proc.\u00a0InterDB-2007 Workshop on Database Interoperability (2007)","DOI":"10.1007\/978-3-540-76298-0_73"},{"key":"9280_CR45","unstructured":"Ritze, D., Meilicke, C., Svab-Zamazal, O., Stuckenschmidt, H.: A pattern-based ontology matching approach for detecting complex correspondences. In: Proc.\u00a0ISWC-2009 Workshop on Ontology Matching (2009)"},{"issue":"1","key":"9280_CR46","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1), 61\u201373 (2005)","journal-title":"J. Web Sem."},{"key":"9280_CR47","first-page":"68","volume-title":"Proc. KR-2006","author":"R Rosati","year":"2006","unstructured":"Rosati, R.: $\\mathcal{DL}{+}\\mathit{log}$ : tight integration of description logics and disjunctive Datalog. In: Proc. KR-2006, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"9280_CR48","series-title":"LNCS","first-page":"83","volume-title":"Proc. EKAW-2008","author":"F Scharffe","year":"2008","unstructured":"Scharffe, F., Fensel, D.: Correspondence patterns for ontology alignment. In: Proc. EKAW-2008, pp. 83\u201392. LNCS 5268. Springer, New York (2008)"},{"key":"9280_CR49","unstructured":"Scharffe, F., de Bruijn, J., Foxvog, D.: Ontology mediation patterns library, V2. Deliverable D4.3.2, EU-IST Integrated Project (IP) IST-2003-506826 SEKT (2006)"},{"key":"9280_CR50","unstructured":"Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping languages for terminological knowledge. In: Proc.\u00a0IJCAI-2005, pp.\u00a0576\u2013581 (2005)"},{"key":"9280_CR51","series-title":"LNCS","first-page":"439","volume-title":"Proc.\u00a0JELIA-2006","author":"U Straccia","year":"2006","unstructured":"Straccia, U.: Towards top-k query answering in description logics: the case of DL-Lite. In: Proc.\u00a0JELIA-2006, pp. 439\u2013451. LNCS 4160. Springer, New York (2006)"},{"issue":"3","key":"9280_CR52","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9280-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-012-9280-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9280-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T15:43:56Z","timestamp":1561218236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-012-9280-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":52,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9280"],"URL":"https:\/\/doi.org\/10.1007\/s10472-012-9280-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]}}}