{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:36Z","timestamp":1740099156616,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030004606"},{"type":"electronic","value":"9783030004613"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00461-3_6","type":"book-chapter","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T20:13:01Z","timestamp":1536610381000},"page":"78-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Modular Inference System for Probabilistic Description Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3780-6265","authenticated-orcid":false,"given":"Giuseppe","family":"Cota","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1654-9703","authenticated-orcid":false,"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8352-6304","authenticated-orcid":false,"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3717-3779","authenticated-orcid":false,"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2747-4292","authenticated-orcid":false,"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,11]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics, chap. 3, pp. 135\u2013179. Elsevier, Amsterdam (2008)","DOI":"10.1016\/S1574-6526(07)03003-9"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic $$\\cal{EL}^+$$. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52\u201367. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74565-5_7"},{"issue":"9","key":"6_CR3","doi-asserted-by":"publisher","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.: The BioPax community standard for pathway data sharing. Nat. Biotechnol. 28(9), 935\u2013942 (2010)","journal-title":"Nat. Biotechnol."},{"key":"6_CR4","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\u20138 January 2004, Big Island, HI, USA. IEEE Computer Society (2004)"},{"issue":"1","key":"6_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11\u201321 (2011)","journal-title":"Semant. Web"},{"key":"6_CR6","unstructured":"Horridge, M., Parsia, B., Sattler, U.: The OWL explanation workbench: a toolkit for working with justifications for entailments in OWL ontologies (2009)"},{"key":"6_CR7","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, vol. 6, pp. 57\u201367. AAAI Press (2006). http:\/\/dl.acm.org\/citation.cfm?id=3029947.3029959"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Jaeger, M.: Probabilistic reasoning in terminological logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 305\u2013316. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"key":"6_CR9","unstructured":"Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, The Graduate School of the University of Maryland (2006)"},{"issue":"2\u20133","key":"6_CR10","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. Theory Pract. Log. Prog. 11(2\u20133), 235\u2013262 (2011)","journal-title":"Theory Pract. Log. Prog."},{"key":"6_CR11","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. 5318, pp. 213\u2013228. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88564-1_14"},{"key":"6_CR12","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: a tractable probabilistic description logic. In: Kuipers, B., Webber, B.L. (eds.) Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 1997, 27\u201331 July 1997, Providence, Rhode Island, pp. 390\u2013397. AAAI Press\/The MIT Press (1997)"},{"issue":"2","key":"6_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/SW-140134","volume":"6","author":"J Lehmann","year":"2015","unstructured":"Lehmann, J., Isele, R., Jakob, M., Jentzsch, A., Kontokostas, D., Mendes, P.N., Hellmann, S., Morsey, M., van Kleef, P., Auer, S., Bizer, C.: DBpedia - a large-scale, multilingual knowledge base extracted from Wikipedia. Semant. Web 6(2), 167\u2013195 (2015)","journal-title":"Semant. Web"},{"issue":"6\u20137","key":"6_CR14","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":"6_CR15","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 393\u2013403. AAAI Press, Menlo Park (2010)"},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1093\/llc\/fqi037","volume":"20","author":"G Nagyp\u00e1l","year":"2005","unstructured":"Nagyp\u00e1l, G., Deswarte, R., Oosthoek, J.: Applying the semantic web: the VICODI experience in creating visual contextualization for history. Lit. Linguist. Comput. 20(3), 327\u2013349 (2005)","journal-title":"Lit. Linguist. Comput."},{"issue":"1","key":"6_CR17","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":"5","key":"6_CR18","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. Semant. Web 6(5), 447\u2013501 (2015). https:\/\/doi.org\/10.3233\/SW-140154","journal-title":"Semant. Web"},{"key":"6_CR19","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Reasoning with probabilistic ontologies. In: Yang, Q., Wooldridge, M. (eds.) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 4310\u20134316. AAAI Press, Palo Alto (2015)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) ICLP 1995, pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"6_CR21","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, 9\u201315 August 2003, pp. 355\u2013362. Morgan Kaufmann Publishers Inc., San Francisco (2003)"},{"key":"6_CR22","unstructured":"Shearer, R., Motik, B., Horrocks, I.: HermiT: a highly-efficient OWL reasoner. In: OWL: Experiences and Direction, vol. 432, p. 91 (2008)"},{"issue":"2","key":"6_CR23","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 Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_26"},{"key":"6_CR25","unstructured":"W3C: OWL 2 web ontology language, December 2012. http:\/\/www.w3.org\/TR\/2012\/REC-owl2-overview-20121211\/"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Zese, R.: Probabilistic semantic web: reasoning and learning, studies on the semantic web, vol. 28. IOS Press, Amsterdam (2017). https:\/\/doi.org\/10.3233\/978-1-61499-734-4-i , http:\/\/ebooks.iospress.nl\/volume\/probabilistic-semantic-web-reasoning-and-learning","DOI":"10.3233\/978-1-61499-734-4-i"},{"issue":"1\u20133","key":"6_CR27","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10472-016-9529-3","volume":"82","author":"R Zese","year":"2018","unstructured":"Zese, R., Bellodi, E., Riguzzi, F., Cota, G., Lamma, E.: Tableau reasoning for description logics and its extension to probabilities. Ann. Math. Artif. Intell. 82(1\u20133), 101\u2013130 (2018). https:\/\/doi.org\/10.1007\/s10472-016-9529-3","journal-title":"Ann. Math. Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00461-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T04:56:33Z","timestamp":1720587393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00461-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030004606","9783030004613"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00461-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}