{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:50:25Z","timestamp":1772607025524,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642396656","type":"print"},{"value":"9783642396663","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39666-3_14","type":"book-chapter","created":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T03:05:35Z","timestamp":1373857535000},"page":"183-197","source":"Crossref","is-referenced-by-count":14,"title":["BUNDLE: A Reasoner for Probabilistic Ontologies"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Riguzzi","sequence":"first","affiliation":[]},{"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Handbook of Knowledge Representation, ch. 3, pp. 135\u2013179. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03003-9"},{"issue":"1","key":"14_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/IA-2012-0027","volume":"8","author":"E. Bellodi","year":"2012","unstructured":"Bellodi, E., Riguzzi, F.: Experimentation of an expectation maximization algorithm for probabilistic logic programs. Intelligenza Artificiale\u00a08(1), 3\u201318 (2012)","journal-title":"Intelligenza Artificiale"},{"issue":"2","key":"14_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.3233\/IDA-130582","volume":"17","author":"E. Bellodi","year":"2013","unstructured":"Bellodi, E., Riguzzi, F.: Expectation Maximization over binary decision diagrams for probabilistic logic programs. Intel. Data Anal.\u00a017(2), 343\u2013363 (2013)","journal-title":"Intel. Data Anal."},{"issue":"9","key":"14_CR5","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"Bollig, B., Wegener, I.: Improving the variable ordering of OBDDs is NP-complete. IEEE Trans. Computers\u00a045(9), 993\u20131002 (1996)","journal-title":"IEEE Trans. Computers"},{"key":"14_CR6","unstructured":"Calvanese, D., Lenzerini, M.: On the interaction between isa and cardinality constraints. In: International Conference on Data Engineering, pp. 204\u2013213. IEEE Computer Society (1994)"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res.\u00a017, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR8","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: International Joint Conference on Artificial Intelligence, pp. 2462\u20132467 (2007)"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.1096","volume":"18","author":"O. Grumberg","year":"2003","unstructured":"Grumberg, O., Livne, S., Markovitch, S.: Learning to order BDD variables in verification. J. Artif. Intell. Res.\u00a018, 83\u2013116 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-04388-8_11","volume-title":"Scalable Uncertainty Management","author":"M. Horridge","year":"2009","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol.\u00a05785, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"14_CR11","unstructured":"Kalyanpur, A.: Debugging and Repair of OWL Ontologies. Ph.D. thesis, The Graduate School of the University of Maryland (2006)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"issue":"2-3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1017\/S1471068410000566","volume":"11","author":"A. Kimmig","year":"2011","unstructured":"Kimmig, A., Demoen, B., De Raedt, L., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theor. Prac. Log. Prog.\u00a011(2-3), 235\u2013262 (2011)","journal-title":"Theor. Prac. Log. Prog."},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"822","DOI":"10.1007\/978-3-540-68234-9_66","volume-title":"The Semantic Web: Research and Applications","author":"P. Klinov","year":"2008","unstructured":"Klinov, P.: Pronto: A non-monotonic probabilistic description logic reasoner. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 822\u2013826. Springer, Heidelberg (2008)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-88564-1_14","volume-title":"The Semantic Web - ISWC 2008","author":"P. Klinov","year":"2008","unstructured":"Klinov, P., Parsia, B.: Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 213\u2013228. Springer, Heidelberg (2008)"},{"issue":"6-7","key":"14_CR16","doi-asserted-by":"publisher","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. Int.\u00a0172(6-7), 852\u2013883 (2008)","journal-title":"Artif. Int."},{"issue":"4","key":"14_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Sem.\u00a06(4), 291\u2013308 (2008)","journal-title":"J. Web Sem."},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell.\u00a028(1), 71\u201387 (1986)","journal-title":"Artif. Intell."},{"key":"14_CR19","unstructured":"Patel-Schneider, P.F., Horrocks, I., Bechhofer, S.: Tutorial on OWL (2003)"},{"issue":"1-2","key":"14_CR20","doi-asserted-by":"publisher","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.\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1","key":"14_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0951-8320(02)00165-5","volume":"79","author":"A. Rauzy","year":"2003","unstructured":"Rauzy, A., Ch\u00e2telet, E., Dutuit, Y., B\u00e9renguer, C.: A practical comparison of methods to assess sum-of-products. Reliability Engineering and System Safety\u00a079(1), 33\u201342 (2003)","journal-title":"Reliability Engineering and System Safety"},{"issue":"6","key":"14_CR22","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1093\/jigpal\/jzp025","volume":"17","author":"F. Riguzzi","year":"2009","unstructured":"Riguzzi, F.: Extended semantics and inference for the Independent Choice Logic. Log. J. IGPL\u00a017(6), 589\u2013629 (2009)","journal-title":"Log. J. IGPL"},{"key":"14_CR23","series-title":"LNCS","first-page":"265","volume-title":"RR 2013","author":"F. Riguzzi","year":"2013","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Parameter learning for probabilistic ontologies. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol.\u00a07994, pp. 265\u2013270. Springer, Heidelberg (2013)"},{"key":"14_CR24","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, vol.\u00a0900, pp. 3\u201314. Sun SITE Central Europe (2012)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: International Conference on Logic Programming, pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"14_CR26","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. Artif. Intell. Res.\u00a015, 391\u2013454 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR27","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: International Joint Conference on Artificial Intelligence, pp. 355\u2013362. Morgan Kaufmann (2003)"},{"issue":"1","key":"14_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell.\u00a048(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"issue":"2","key":"14_CR29","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem.\u00a05(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"key":"14_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-85658-0_2","volume-title":"Reasoning Web","author":"U. Straccia","year":"2008","unstructured":"Straccia, U.: Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web 2008. LNCS, vol.\u00a05224, pp. 54\u2013103. Springer, Heidelberg (2008)"},{"issue":"3","key":"14_CR31","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1137\/0208032","volume":"8","author":"L.G. Valiant","year":"1979","unstructured":"Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM J. Comp.\u00a08(3), 410\u2013421 (1979)","journal-title":"SIAM J. Comp."},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-27775-0_30","volume-title":"Logic Programming","author":"J. Vennekens","year":"2004","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 431\u2013445. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39666-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T16:08:57Z","timestamp":1715702937000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39666-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396656","9783642396663"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39666-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}