{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T13:08:44Z","timestamp":1749042524337,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491295"},{"type":"electronic","value":"9783319491301"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49130-1_27","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T14:13:59Z","timestamp":1478268839000},"page":"364-376","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics"],"prefix":"10.1007","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"issue":"5","key":"27_CR1","doi-asserted-by":"publisher","first-page":"30:1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 30:1\u201330:62 (2010)","journal-title":"J. ACM"},{"key":"27_CR2","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI 1991, vol. 1, pp. 381\u2013386. Morgan Kaufmann Publishers Inc., San Francisco (1991)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-22359-4_23","volume-title":"Computational Logic in Multi-Agent Systems","author":"M Alberti","year":"2011","unstructured":"Alberti, M., Gomes, A.S., Gon\u00e7alves, R., Leite, J., Slota, M.: Normative systems represented as hybrid knowledge bases. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., Torre, L. (eds.) CLIMA 2011. LNCS (LNAI), vol. 6814, pp. 330\u2013346. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-22359-4_23"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) 12th International Conference on Logic Programming, Tokyo, Japan, pp. 715\u2013729. MIT Press, Cambridge (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S.: Logic programs with annotated disjunctions. Technical report CW386, KU Leuven (2003)","DOI":"10.1007\/978-3-540-27775-0_30"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-87993-0_13","volume-title":"Scalable Uncertainty Management","author":"C d\u2019Amato","year":"2008","unstructured":"d\u2019Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol. 5291, pp. 146\u2013159. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-87993-0_13"},{"key":"27_CR7","unstructured":"Ceylan, \u0130.\u0130, Pe\u00f1aloza, R.: Bayesian description logics. In: Bienvenu, M., Ortiz, M., Rosati, R., Simkus, M. (eds.) Informal Proceedings of the 27th International Workshop on Description Logics. CEUR Workshop Proceedings, 17\u201320 July 2014, Vienna, Austria, vol. 1193, pp. 447\u2013458 (2014). CEUR-WS.org"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-23580-1_7","volume-title":"Web Reasoning and Rule Systems","author":"G Gottlob","year":"2011","unstructured":"Gottlob, G., Lukasiewicz, T., Simari, G.I.: Conjunctive query answering in probabilistic datalog+\/\u2013 ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 77\u201392. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-23580-1_7"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45757-7_8","volume-title":"Logics in Artificial Intelligence","author":"R Giugno","year":"2002","unstructured":"Giugno, R., Lukasiewicz, T.: P-$${\\cal{SHOQ}}$$(D): a probabilistic extension of $${\\cal{SHOQ}}$$(D) for probabilistic ontologies in the semantic web. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 86\u201397. Springer, Heidelberg (2002). doi:10.1007\/3-540-45757-7_8"},{"issue":"1\u20133","key":"27_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T Lukasiewicz","year":"2002","unstructured":"Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1\u20133), 35\u201388 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"6\u20137","key":"27_CR11","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. Intell. 172(6\u20137), 852\u2013883 (2008)","journal-title":"Artif. Intell."},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-00685-2_4","volume-title":"Journal on Data Semantics XII","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. In: Spaccapietra, S. (ed.) Journal on Data Semantics XII. LNCS, vol. 5480, pp. 95\u2013130. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-00685-2_4"},{"issue":"1","key":"27_CR13","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71\u201387 (1986)","journal-title":"Artif. Intell."},{"key":"27_CR14","unstructured":"Bellodi, E., Lamma, E., Riguzzi, F., Albani, S.: A distribution semantics for probabilistic ontologies. In: 7th International Workshop on Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, vol. 778, pp. 75\u201386. Sun SITE Central Europe, Aachen, Germany (2011)"},{"issue":"3","key":"27_CR15","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46(3), 311\u2013350 (1990)","journal-title":"Artif. Intell."},{"key":"27_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S1574-6526(07)03003-9","volume-title":"Handbook of Knowledge Representation","author":"Franz Baader","year":"2008","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Handbook of Knowledge Representation, Chap. 3, pp. 135\u2013179. Elsevier, Amsterdam (2008)"},{"issue":"3","key":"27_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. J. Autom. Reasoning 39(3), 249\u2013276 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ijar.2016.05.005","volume":"77","author":"F Riguzzi","year":"2016","unstructured":"Riguzzi, F.: The distribution semantics for normal programs with function symbols. Int. J. Approximate Reasoning 77, 1\u201319 (2016)","journal-title":"Int. J. Approximate Reasoning"},{"key":"27_CR19","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. 3132, pp. 431\u2013445. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-27775-0_30"},{"key":"27_CR20","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI 2007, pp. 477\u2013482. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"key":"27_CR21","unstructured":"Bruynooghe, M., Mantadelis, T., Kimmig, A., Gutmann, B., Vennekens, J., Janssens, G., De Raedt, L.: ProBlog technology for inference in a probabilistic first order logic. In: 19th European Conference on Artificial Intelligence, ECAI 2010. Frontiers in Artificial Intelligence and Applications, 16\u201320 August 2010, Lisbon, Portugal, vol. 215, pp. 719\u2013724. IOS Press (2010)"},{"key":"27_CR22","unstructured":"Ceylan, \u0130.\u0130., Darwiche, A., den Broeck, G.V.: Open-world probabilistic databases. In: Baral, C., Delgrande, J.P., Wolter, F., (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, 25\u201329 April 2016, Cape Town, South Africa, pp. 339\u2013348. AAAI Press (2016)"},{"key":"27_CR23","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. 94, 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"2","key":"27_CR24","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/2480759.2480768","volume":"14","author":"JJ Alferes","year":"2013","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Logic 14(2), 16:1\u201316:43 (2013)","journal-title":"ACM Trans. Comput. Logic"},{"key":"27_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-13413-0_4","volume-title":"Uncertainty Reasoning for the Semantic Web III","author":"F Riguzzi","year":"2014","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G.: Learning probabilistic description logics. In: Bobillo, F., et al. (eds.) URSW 2011-2013. LNCS, vol. 8816, pp. 63\u201378. Springer International Publishing, Switzerland (2014). doi:10.1007\/978-3-319-13413-0_4"},{"key":"27_CR26","unstructured":"Zese, R., Bellodi, E., Riguzzi, F., Lamma, E.: Tableau reasoners for probabilistic ontologies exploiting logic programming techniques. In: Bellodi, E., Bonfietti, A. (eds.) Doctoral Consortium (DC) Co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015). CEUR Workshop Proceedings, vol. 1485, pp. 1\u20136. Sun SITE Central Europe, Aachen, Germany (2015)"},{"issue":"4\u20135","key":"27_CR27","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S147106841100010X","volume":"11","author":"F Riguzzi","year":"2011","unstructured":"Riguzzi, F., Swift, T.: The PITA system: tabling and answer subsumption for reasoning under uncertainty. Theoret. Pract. Log. Prog. 11(4\u20135), 433\u2013449 (2011)","journal-title":"Theoret. Pract. Log. Prog."},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Bellodi, E., Lamma, E., Riguzzi, F., Zese, R., Cota, G.: A web system for reasoning with probabilistic OWL. Software: Practice and Experience (2016, to appear)","DOI":"10.1002\/spe.2410"},{"key":"27_CR29","doi-asserted-by":"publisher","first-page":"1381","DOI":"10.1002\/spe.2386","volume":"46","author":"F Riguzzi","year":"2015","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G.: Probabilistic logic programming on the web. Softw. Pract. Exper. 46, 1381\u20131396 (2015)","journal-title":"Softw. Pract. Exper."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2016 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49130-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T17:55:40Z","timestamp":1710266140000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49130-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491295","9783319491301"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49130-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genova","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"XV","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aixia2016.unige.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}