{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:20:12Z","timestamp":1725711612885},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642359743"},{"type":"electronic","value":"9783642359750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35975-0_3","type":"book-chapter","created":{"date-parts":[[2013,1,7]],"date-time":"2013-01-07T20:07:32Z","timestamp":1357589252000},"page":"41-58","source":"Crossref","is-referenced-by-count":2,"title":["Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Klinov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6-7","key":"3_CR1","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. Artificial Intelligence\u00a0172(6-7), 852\u2013883 (2008)","journal-title":"Artificial Intelligence"},{"key":"3_CR2","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.\u00a06803, pp. 354\u2013368. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Bacchus, F.: Representing and reasoning with probabilistic knowledge. MIT Press (1990)","key":"3_CR3","DOI":"10.1111\/j.1467-8640.1990.tb00296.x"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artificial Intelligence\u00a046, 311\u2013350 (1990)","journal-title":"Artificial Intelligence"},{"unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Knowledge Representation and Reasoning, pp. 57\u201367 (2006)","key":"3_CR5"},{"issue":"1-2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.ic.2004.11.002","volume":"199","author":"C. Lutz","year":"2005","unstructured":"Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Information and Computation\u00a0199(1-2), 132\u2013171 (2005)","journal-title":"Information and Computation"},{"unstructured":"Klinov, P.: Practical Reasoning in Probabilistic Description Logic. PhD thesis, The University of Manchester (2011)","key":"3_CR7"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1049","volume":"112","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Halpern, J.Y.: Decidability and expressiveness for first-order logics of probability. Information and Computation\u00a0112(1), 1\u201336 (1994)","journal-title":"Information and Computation"},{"unstructured":"Koller, D., Halpern, J.Y.: Irrelevance and conditioning in first-order probabilistic logic. In: Advances in Artificial Intelligence Conference, pp. 569\u2013576 (1996)","key":"3_CR9"},{"doi-asserted-by":"crossref","unstructured":"Borgida, A.: On the relationship between description logic and predicate logic. In: International Conference on Information and Knowledge Management, pp. 219\u2013225 (1994)","key":"3_CR10","DOI":"10.1145\/191246.191283"},{"unstructured":"Klinov, P., Parsia, B., Sattler, U.: On correspondences between probabilistic first-order and description logics. In: International Workshop on Description Logic (2009)","key":"3_CR11"},{"doi-asserted-by":"crossref","unstructured":"Geffner, H., Pearl, J.: A framework for reasoning with defaults. In: Kyburg, H., Loui, R., Carlson, G. (eds.) Knowledge Representation and Defeasible Reasoning, pp. 69\u201387. Kluwer Academic Publishers (1990)","key":"3_CR12","DOI":"10.1007\/978-94-009-0553-5_3"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.ijar.2006.07.015","volume":"44","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation. International Journal of Approximate Reasoning\u00a044(3), 301\u2013321 (2007)","journal-title":"International Journal of Approximate Reasoning"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1111\/j.1467-8640.1988.tb00091.x","volume":"4","author":"P. Cheeseman","year":"1988","unstructured":"Cheeseman, P.: An inquiry into computer understanding. Computational Intelligence\u00a04, 58\u201366 (1988)","journal-title":"Computational Intelligence"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","volume":"6","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence\u00a06, 209\u2013231 (1990)","journal-title":"Computational Intelligence"},{"unstructured":"Klinov, P., Parsia, B.: Relationships between probabilistic description and first-order logics. In: International Workshop on Uncertainty in Description Logics (2010)","key":"3_CR16"},{"key":"3_CR17","series-title":"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-\n                    \n                      \n                    \n                    $\\mathcal{SHOQ}({\\bf D})$\n                  : A Probabilistic Extension of \n                    \n                      \n                    \n                    $\\mathcal{SHOQ}({\\bf D})$\n                   for Probabilistic Ontologies in the Semantic Web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 86\u201397. Springer, Heidelberg (2002)"},{"unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: International Conference on the Principles of Knowledge Representation and Reasoning (2010)","key":"3_CR18"}],"container-title":["Lecture Notes in Computer Science","Uncertainty Reasoning for the Semantic Web II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35975-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:34:04Z","timestamp":1620120844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35975-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642359743","9783642359750"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35975-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}