{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T13:06:57Z","timestamp":1749042417104,"version":"3.40.3"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319134123"},{"type":"electronic","value":"9783319134130"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13413-0_5","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T19:59:56Z","timestamp":1417463996000},"page":"79-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Semantics and Inference for Probabilistic Description Logics"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"Zese","sequence":"first","affiliation":[]},{"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Fabiano","family":"Aguiari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,30]]},"reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"5_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, Cambridge (2003)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Handbook of Knowledge Representation, chap. 3, pp. 135\u2013179. Elsevier, Amsterdam (2008)","DOI":"10.1016\/S1574-6526(07)03003-9"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10817-010-9181-2","volume":"45","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. J. Autom. Reasoning 45(2), 91\u2013129 (2010)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. J. Log. Comput. 20(1), 5\u201334 (2010)","journal-title":"J. Log. Comput."},{"key":"5_CR5","volume-title":"Representing and Reasoning with Probabilistic Knowledge - A Logical Approach to Probabilities","author":"F Bacchus","year":"1990","unstructured":"Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge - A Logical Approach to Probabilities. MIT Press, Cambridge (1990)"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00881804","volume":"15","author":"B Beckert","year":"1995","unstructured":"Beckert, B., Posegga, J.: leantap: Lean tableau-based deduction. J. Autom. Reasoning 15(3), 339\u2013358 (1995)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR7","unstructured":"Bellodi, E., Lamma, E., Riguzzi, F., Albani, S.: A distribution semantics for probabilistic ontologies. In: International Workshop on Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, vol. 778. Sun SITE Central Europe (2011)"},{"key":"5_CR8","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. 17, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR9","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":"5_CR10","unstructured":"Faizi, I.: A description logic prover in prolog, Bachelor\u2019s thesis, Informatics Mathematical Modelling, Technical University of Denmark (2011)"},{"key":"5_CR11","volume-title":"Handbook of Satisfiability","author":"CP Gomes","year":"2008","unstructured":"Gomes, C.P., Sabharwal, A., Selman, B.: Model counting. In: Biere, A. (ed.) Handbook of Satisfiability. IOS Press, Amsterdam (2008)"},{"issue":"3","key":"5_CR12","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","volume":"3","author":"V Haarslev","year":"2012","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The racerpro knowledge representation and reasoning system. Semant. Web 3(3), 267\u2013277 (2012)","journal-title":"Semant. Web"},{"key":"5_CR13","unstructured":"Halaschek-Wiener, C., Kalyanpur, A., Parsia, B.: Extending tableau tracing for ABox updates. Technical report, University of Maryland (2006)"},{"issue":"3","key":"5_CR14","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":"5_CR15","unstructured":"Herchenr\u00f6der, T.: Lightweight semantic web oriented reasoning in prolog: tableaux inference for description logics. Master\u2019s thesis, School of Informatics, University of Edinburgh (2006)"},{"key":"5_CR16","doi-asserted-by":"crossref","DOI":"10.1201\/9781420090512","volume-title":"Foundations of Semantic Web Technologies","author":"P Hitzler","year":"2009","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press, Boca Raton (2009)"},{"issue":"5","key":"5_CR17","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/j.ic.2007.11.006","volume":"206","author":"U Hustadt","year":"2008","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5), 579\u2013601 (2008)","journal-title":"Inf. Comput."},{"key":"5_CR18","unstructured":"Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, The Graduate School of the University of Maryland (2006)"},{"key":"5_CR19","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. 4825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"issue":"4","key":"5_CR20","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Sem. 3(4), 268\u2013293 (2005)","journal-title":"J. Web Sem."},{"key":"5_CR21","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. 5021, pp. 822\u2013826. Springer, Heidelberg (2008)"},{"key":"5_CR22","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.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 213\u2013228. Springer, Heidelberg (2008)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-22438-6_27","volume-title":"Automated Deduction \u2013 CADE-23","author":"P Klinov","year":"2011","unstructured":"Klinov, P., Parsia, B.: A hybrid method for probabilistic satisfiability. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 354\u2013368. Springer, Heidelberg (2011)"},{"issue":"3","key":"5_CR24","first-page":"343","volume":"9","author":"G Luk\u00e1csy","year":"2009","unstructured":"Luk\u00e1csy, G., Szeredi, P.: Efficient description logic reasoning in prolog: the dlog system. TPLP 9(3), 343\u2013414 (2009)","journal-title":"TPLP"},{"issue":"6\u20137","key":"5_CR25","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. 172(6\u20137), 852\u2013883 (2008)","journal-title":"Artif. Int."},{"key":"5_CR26","first-page":"91","volume":"28\u201329","author":"A Meissner","year":"2004","unstructured":"Meissner, A.: An automated deduction system for description logic with alcn language. Studia z Automatyki i Informatyki 28\u201329, 91\u2013110 (2004)","journal-title":"Studia z Automatyki i Informatyki"},{"issue":"1","key":"5_CR27","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":"5_CR28","unstructured":"Patel-Schneider, P.F., Horrocks, I., Bechhofer, S.: Tutorial on OWL (2003)"},{"issue":"1\u20132","key":"5_CR29","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(1\u20132), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D Poole","year":"1993","unstructured":"Poole, D.: Probabilistic horn abduction and Bayesian networks. Artif. Intell. 64(1), 81\u2013129 (1993)","journal-title":"Artif. Intell."},{"issue":"1","key":"5_CR31","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"4","key":"5_CR32","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1093\/logcom\/exn042","volume":"19","author":"F Ricca","year":"2009","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: Ontodlv: an asp-based system for enterprise ontologies. J. Log. Comput. 19(4), 643\u2013670 (2009)","journal-title":"J. Log. Comput."},{"issue":"6","key":"5_CR33","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 17(6), 589\u2013629 (2009)","journal-title":"Log. J. IGPL"},{"key":"5_CR34","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E.: Probabilistic Datalog+\/- under the distribution semantics. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) International Workshop on Description Logics (2012)"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-319-03524-6_34","volume-title":"AI*IA 2013: Advances in Artificial Intelligence","author":"F Riguzzi","year":"2013","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Computing instantiated explanations in\u00a0OWL\u00a0DL. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS, vol. 8249, pp. 397\u2013408. Springer, Heidelberg (2013)"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Probabilistic description logics under the distribution semantics. Semant. Web J. (to appear, 2014)","DOI":"10.1007\/978-3-319-13413-0_4"},{"key":"5_CR37","unstructured":"Riguzzi, F., Lamma, E., Bellodi, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, vol. 900, pp. 3\u201314. Sun SITE Central Europe (2012)"},{"key":"5_CR38","unstructured":"Sang, T., Beame, P., Kautz, H.A.: Performing bayesian inference by weighted model counting. In: Proceedings of AAAI, pp. 475\u2013482. AAAI Press\/The MIT Press, Palo Alto, Pittsburgh, 9\u201313 July 2005"},{"key":"5_CR39","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":"5_CR40","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. 15, 391\u2013454 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR41","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":"5_CR42","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. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"5_CR43","unstructured":"Shearer, R., Motik, B., Horrocks, I.: Hermit: A highly-efficient owl reasoner. In: OWLED (2008)"},{"issue":"2","key":"5_CR44","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. 5(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"key":"5_CR45","unstructured":"Vassiliadis, V., Wielemaker, J., Mungall, C.: Processing owl2 ontologies using thea: an application of logic programming. In: International Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 529. CEUR-WS.org (2009)"},{"issue":"3","key":"5_CR46","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S1471068409003767","volume":"9","author":"J Vennekens","year":"2009","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: a language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program. 9(3), 245\u2013308 (2009)","journal-title":"Theory Pract. Log. Program."},{"key":"5_CR47","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)"}],"container-title":["Lecture Notes in Computer Science","Uncertainty Reasoning for the Semantic Web III"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13413-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T13:38:49Z","timestamp":1717594729000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13413-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319134123","9783319134130"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13413-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"30 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}