{"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":1772607025841,"version":"3.50.1"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2016,10,10]],"date-time":"2016-10-10T00:00:00Z","timestamp":1476057600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s10472-016-9529-3","type":"journal-article","created":{"date-parts":[[2016,10,10]],"date-time":"2016-10-10T05:45:49Z","timestamp":1476078349000},"page":"101-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Tableau reasoning for description logics and its extension to probabilities"],"prefix":"10.1007","volume":"82","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8352-6304","authenticated-orcid":false,"given":"Riccardo","family":"Zese","sequence":"first","affiliation":[]},{"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Cota","sequence":"additional","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,10]]},"reference":[{"key":"9529_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":"9529_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 (2008)","DOI":"10.1016\/S1574-6526(07)03003-9"},{"issue":"2","key":"9529_CR3","doi-asserted-by":"crossref","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. Reas. 45(2), 91\u2013129 (2010)","journal-title":"J. Autom. Reas."},{"issue":"1","key":"9529_CR4","doi-asserted-by":"crossref","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":"9529_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":"9529_CR6","doi-asserted-by":"crossref","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. Reas. 15(3), 339\u2013358 (1995)","journal-title":"J. Autom. Reas."},{"key":"9529_CR7","unstructured":"Bellodi, E., Lamma, E., Riguzzi, F., Albani, S.: A distribution semantics for probabilistic ontologies. In: Bobillo, F., et al. (eds.) URSW 2011, CEUR Workshop Proceedings, vol. 778. Sun SITE Central Europe (2011)"},{"key":"9529_CR8","doi-asserted-by":"publisher","unstructured":"Bellodi, E., Riguzzi, F.: Learning the structure of probabilistic logic programs. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds.) ILP 2011, LNCS, vol. 7207, pp. 61\u201375. Springer (2012). doi: 10.1007\/978-3-642-31951-8_10","DOI":"10.1007\/978-3-642-31951-8_10"},{"issue":"2","key":"9529_CR9","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. 17(2), 343\u2013363 (2013)","journal-title":"Intel. Data Anal."},{"key":"9529_CR10","unstructured":"Bruynooghe, M., Mantadelis, T., Kimmig, A., Gutmann, B., Vennekens, J., Janssens, G., Raedt, L.D.: Problog technology for inference in a probabilistic first order logic. In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 719\u2013724. IOS Press (2010)"},{"key":"9529_CR11","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly coupled probabilistic description logic programs for the semantic web. In: Journal on Data Semantics XII, pp. 95\u2013130. Springer (2009)","DOI":"10.1007\/978-3-642-00685-2_4"},{"key":"9529_CR12","unstructured":"Carvalho, R.N., Laskey, K.B., Costa, P.C.G.: PR-OWL 2.0 - bridging the gap to OWL semantics. In: Bobillo, F., et al. (eds.) URSW 2010, CEUR Workshop Proceedings, vol. 654. Sun SITE Central Europe (2010)"},{"key":"9529_CR13","unstructured":"Ceylan, \u0130.\u0130., Mendez, J., Pen\u0307aloza, R.: The bayesian ontology reasoner is born!. In: Dumontier, M., Glimm, B., Gon\u010balves, R.S., Horridge, M., Jim\u0117nez-Ruiz, E., Matentzoglu, N., Parsia, B., Stamou, G.B., Stoilos, G. (eds.) Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, vol. 1387, pp. 8\u201314. CEUR-WS.org (2015)"},{"key":"9529_CR14","unstructured":"Ceylan, \u0130.\u0130., Pen\u0307aloza, R.: Bayesian description logics. In: Bienvenu, M., Ortiz, M., Rosati, R., Simkus, M. (eds.) Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., CEUR Workshop Proceedings, vol. 1193, pp. 447\u2013458. CEUR-WS.org (2014)"},{"key":"9529_CR15","doi-asserted-by":"crossref","unstructured":"Ceylan, \u0130.\u0130., Pen\u0307aloza, R.: Probabilistic query answering in the bayesian description logic BEl. In: Beierle, C., Dekhtyar, A. (eds.) Proceedings of Scalable Uncertainty Management - 9th International Conference, SUM 2015, Lecture Notes in Computer Science, vol. 9310, pp. 21\u201335. Springer (2015)","DOI":"10.1007\/978-3-319-23540-0_2"},{"issue":"1","key":"9529_CR16","first-page":"121","volume":"8","author":"M Codish","year":"2008","unstructured":"Codish, M., Lagoon, V., Stuckey, P.J.: Logic programming with satisfiability. TPLP 8(1), 121\u2013128 (2008)","journal-title":"TPLP"},{"key":"9529_CR17","doi-asserted-by":"crossref","unstructured":"da Costa, P.C.G., Laskey, K.B., Laskey, K.J.: PR-OWL: A bayesian ontology language for the semantic web. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers, Lecture Notes in Computer Science, vol. 5327, pp. 88\u2013107. Springer (2008)","DOI":"10.1007\/978-3-540-89765-1_6"},{"key":"9529_CR18","doi-asserted-by":"crossref","unstructured":"d\u2019Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) Scalable Uncertainty Management, Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5291, pp. 146\u2013159. Springer (2008)","DOI":"10.1007\/978-3-540-87993-0_13"},{"issue":"9","key":"9529_CR19","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1038\/nbt.1666","volume":"28","author":"E Demir","year":"2010","unstructured":"Demir, E., Cary, M.P., Paley, S., Fukuda, K., Lemer, C., Vastrik, I., Wu, G., D\u2019Eustachio, P., Schaefer, C., Luciano, J., et al.: The biopax community standard for pathway data sharing. Nat. Biotechnol. 28(9), 935\u2013942 (2010)","journal-title":"Nat. Biotechnol."},{"key":"9529_CR20","volume-title":"A probabilistic extension to ontology language OWL. In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM \/ Abstracts Proceedings, 5-8 January 2004","author":"Z Ding","year":"2004","unstructured":"Ding, Z., Peng, Y.: A probabilistic extension to ontology language OWL. In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM \/ Abstracts Proceedings, 5-8 January 2004. IEEE Computer Society, USA (2004)"},{"key":"9529_CR21","unstructured":"E\u0117n, N., So\u0307rensson, N.: An extensible sat-solver. In: Giunchiglia, E., Tacchella, A. (eds.) Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, Lecture Notes in Computer Science, vol. 2919, pp. 502\u2013518. Springer (2003)"},{"key":"9529_CR22","unstructured":"Faizi, I.: A Description Logic Prover in Prolog, Bachelor\u2019s thesis. Informatics Mathematical Modelling, Technical University of Denmark (2011)"},{"key":"9529_CR23","unstructured":"Gavanelli, M., Lamma, E., Riguzzi, F., Bellodi, E., Zese, R., Cota, G.: An abductive framework for datalog \u00b1 ontologies. In: Vos, M.D., Eiter, T., Lierler, Y., Toni, F. (eds.) Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015., CEUR Workshop Proceedings, vol. 1433. CEUR-WS.org (2015)"},{"key":"9529_CR24","unstructured":"Gavanelli, M., Lamma, E., Riguzzi, F., Bellodi, E., Zese, R., Cota, G.: Abductive logic programming for datalog +\/- ontologies. In: Ancona, D., Maratea, M., Mascardi, V. (eds.) Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., CEUR Workshop Proceedings, vol. 1459, pp. 128\u2013143. CEUR-WS.org (2015)"},{"key":"9529_CR25","unstructured":"Giugno, R., Lukasiewicz, T.: P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, Lecture Notes in Computer Science, vol. 2424, pp. 86\u201397. Springer (2002)"},{"key":"9529_CR26","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Lukasiewicz, T., Simari, G.I.: Conjunctive query answering in probabilistic datalog+\/- ontologies. In: Rudolph, S., Gutierrez, C. (eds.) Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6902, pp. 77\u201392. Springer (2011)","DOI":"10.1007\/978-3-642-23580-1_7"},{"key":"9529_CR27","volume-title":"Extending Tableau Tracing for ABox Updates","author":"C Halaschek-Wiener","year":"2006","unstructured":"Halaschek-Wiener, C., Kalyanpur, A., Parsia, B.: Extending Tableau Tracing for ABox Updates. University of Maryland, Tech. rep. (2006)"},{"issue":"3","key":"9529_CR28","doi-asserted-by":"crossref","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":"9529_CR29","doi-asserted-by":"crossref","unstructured":"Heinsohn, J.: Probabilistic description logics. In: de M\u00e1ntaras, R.L., Poole, D. (eds.) Conference on Uncertainty in Artificial Intelligence, pp. 311\u2013318, Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"key":"9529_CR30","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":"9529_CR31","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press (2009)","DOI":"10.1201\/9781420090512"},{"issue":"5","key":"9529_CR32","doi-asserted-by":"crossref","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":"9529_CR33","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/B978-1-4832-1452-8.50124-X","volume-title":"Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994)","author":"M Jaeger","year":"1994","unstructured":"Jaeger, M.: Probabilistic reasoning in terminological logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994), pp. 305\u2013316. Morgan Kaufmann, Bonn (1994)"},{"key":"9529_CR34","first-page":"182","volume-title":"The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I, Lecture Notes in Computer Science (LNCS), vol. 7649","author":"JC Jung","year":"2012","unstructured":"Jung, J.C., Lutz, C.: Ontology-based access to probabilistic data with OWL QL. In: Cudr\u00e9-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I, Lecture Notes in Computer Science (LNCS), vol. 7649, pp. 182\u2013197. Springer, Berlin (2012)"},{"key":"9529_CR35","volume-title":"Debugging and Repair of OWL Ontologies","author":"A Kalyanpur","year":"2006","unstructured":"Kalyanpur, A.: Debugging and Repair of OWL Ontologies. The Graduate School of the University of Maryland, Ph.D. thesis (2006)"},{"key":"9529_CR36","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E., et al.: Finding all justifications of OWL DL entailments. In: Aberer, K. (ed.) ISWC\/ASWC 2007, LNCS, vol. 4825, pp. 267\u2013280. Springer (2007)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"9529_CR37","doi-asserted-by":"crossref","unstructured":"Klinov, P.: Pronto: A non-monotonic probabilistic description logic reasoner. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, Lecture Notes in Computer Science, vol. 5021, pp. 822\u2013826. Springer (2008)","DOI":"10.1007\/978-3-540-68234-9_66"},{"key":"9529_CR38","doi-asserted-by":"crossref","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.W., Thirunarayan, K. (eds.) The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5318, pp. 213\u2013228. Springer (2008)","DOI":"10.1007\/978-3-540-88564-1_14"},{"key":"9529_CR39","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: A tractable probablistic description logic. In: Kuipers, B., Webber, B.L. (eds.) Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island, pp. 390\u2013397. AAAI Press \/ The MIT Press (1997)"},{"issue":"4\u20135","key":"9529_CR40","first-page":"539","volume":"14","author":"T Lager","year":"2014","unstructured":"Lager, T., Wielemaker, J.: Pengines: Web logic programming made easy. TPLP 14(4\u20135), 539\u2013552 (2014)","journal-title":"TPLP"},{"key":"9529_CR41","unstructured":"Laskey, K.B., da Costa, P.C.G.: Of starships and klingons: Bayesian logic for the 23rd century. In: UAI \u201905, Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence, Edinburgh, Scotland, July 26-29, 2005, pp. 346\u2013353. AUAI Press (2005)"},{"issue":"3","key":"9529_CR42","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":"1\u20133","key":"9529_CR43","doi-asserted-by":"crossref","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. Int. 34(1\u20133), 35\u201388 (2002)","journal-title":"Ann. Math. Artif. Int."},{"issue":"6\u20137","key":"9529_CR44","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. Int. 172(6\u20137), 852\u2013883 (2008)","journal-title":"Artif. Int."},{"key":"9529_CR45","first-page":"28","volume-title":"Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I, Lecture Notes in Computer Science, vol. 7094","author":"JEO Luna","year":"2011","unstructured":"Luna, J.E.O., Revoredo, K., Cozman, F.G.: Learning probabilistic Description Logics: A framework and algorithms. In: Batyrshin, I.Z., Sidorov, G. (eds.) Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I, Lecture Notes in Computer Science, vol. 7094, pp. 28\u201339. Springer, Berlin (2011)"},{"key":"9529_CR46","first-page":"393","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010","author":"C Lutz","year":"2010","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, pp. 393\u2013403. AAAI Press, Menlo Park (2010)"},{"key":"9529_CR47","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":"3","key":"9529_CR48","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1093\/llc\/fqi037","volume":"20","author":"G Nagypa\u0307l","year":"2005","unstructured":"Nagypa\u0307l, G., Deswarte, R., Oosthoek, J.: Applying the semantic web: The VICODI experience in creating visual contextualization for history. Literary Linguis. Comput. 20(3), 327\u2013349 (2005)","journal-title":"Literary Linguis. Comput."},{"issue":"1","key":"9529_CR49","doi-asserted-by":"crossref","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":"9529_CR50","unstructured":"Patel-Schneider, PF., Horrocks, I., Bechhofer, S.: Tutorial on OWL (2003)"},{"issue":"1\u20132","key":"9529_CR51","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\u20132), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1\u20133","key":"9529_CR52","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0743-1066(99)00071-0","volume":"44","author":"D Poole","year":"2000","unstructured":"Poole, D.: Abducing through negation as failure: stable models within the independent choice logic. J. Log. Program 44(1\u20133), 5\u201335 (2000)","journal-title":"J. Log. Program"},{"issue":"1","key":"9529_CR53","doi-asserted-by":"crossref","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":"9529_CR54","doi-asserted-by":"crossref","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."},{"key":"9529_CR55","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Bobillo, F., et al. (eds.) URSW 2012, CEUR Workshop Proceedings, vol. 900, pp. 3\u201314. Sun SITE Central Europe (2012)"},{"key":"9529_CR56","doi-asserted-by":"crossref","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: BUNDLE: A reasoner for probabilistic ontologies. In: Faber, W., Lembo, D. (eds.) Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7994, pp. 183\u2013197. Springer (2013)","DOI":"10.1007\/978-3-642-39666-3_14"},{"key":"9529_CR57","doi-asserted-by":"crossref","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Parameter learning for probabilistic ontologies. In: Faber, W., Lembo, D. (eds.) Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7994, pp. 265\u2013270. Springer (2013)","DOI":"10.1007\/978-3-642-39666-3_26"},{"issue":"5","key":"9529_CR58","doi-asserted-by":"publisher","first-page":"447","DOI":"10.3233\/SW-140154","volume":"6","author":"F Riguzzi","year":"2015","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Probabilistic description logics under the distribution semantics. Semantic Web - Interoperab. Usabil. Appl. 6 (5), 447\u2013501 (2015). doi: 10.3233\/SW-140154","journal-title":"Semantic Web - Interoperab. Usabil. Appl."},{"key":"9529_CR59","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Reasoning with probabilistic ontologies. In: Yang, Q., Wooldridge, M. (eds.) IJCAI 2015, pp. 4310\u20134316. AAAI Press (2015)"},{"key":"9529_CR60","doi-asserted-by":"crossref","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G.: Learning probabilistic description logics. In: URSW III, LNCS, vol. 8816, pp. 63\u201378. Springer (2014)","DOI":"10.1007\/978-3-319-13413-0_4"},{"key":"9529_CR61","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: ICLP 1995, pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"9529_CR62","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003, pp. 355\u2013362. Morgan Kaufmann (2003)"},{"issue":"2","key":"9529_CR63","doi-asserted-by":"crossref","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":"9529_CR64","unstructured":"Vassiliadis, V., Wielemaker, J., Mungall, C.: Processing OWL2 ontologies using thea: An application of logic programming. In: OWLED 2009, CEUR Workshop Proceedings, vol. 529. CEUR-WS.org (2009)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-016-9529-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9529-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9529-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T21:07:47Z","timestamp":1718831267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-016-9529-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,10]]},"references-count":64,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["9529"],"URL":"https:\/\/doi.org\/10.1007\/s10472-016-9529-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,10]]}}}