{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:13:41Z","timestamp":1760170421038},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733225"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73325-6_64","type":"book-chapter","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T04:05:23Z","timestamp":1184645123000},"page":"644-654","source":"Crossref","is-referenced-by-count":1,"title":["PrDLs: A New Kind of Probabilistic Description Logics About Belief"],"prefix":"10.1007","author":[{"given":"Jia","family":"Tao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Hanpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Lifu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"crossref","unstructured":"Jaeger, M.: A logic for default reasoning about probabilities. Uncertainty in Artificial Intelligence, 352\u2013359 (1994)","DOI":"10.1016\/B978-1-55860-332-5.50049-3"},{"key":"64_CR2","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: A tractable probablistic description logic. In: AAAI\/IAAI, pp. 390\u2013397 (1997)"},{"key":"64_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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-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.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 86\u201397. Springer, Heidelberg (2002)"},{"key":"64_CR4","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. In: IJCAI, pp. 1375\u20131381 (1989)"},{"key":"64_CR5","doi-asserted-by":"crossref","unstructured":"Poole, D.: Representing diagnostic knowledge for probabilistic horn abduction. In: IJCAI, pp. 1129\u20131137 (1991)","DOI":"10.1016\/B978-1-55860-203-8.50039-5"},{"issue":"3","key":"64_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0888-613X(88)90116-8","volume":"2","author":"H.E. Kyburg Jr.","year":"1988","unstructured":"Kyburg Jr., H.E.: Higher order probabilities and intervals. Int. J. Approx. Reasoning\u00a02(3), 195\u2013209 (1988)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"4","key":"64_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1041410.1041421","volume":"33","author":"N.F. Noy","year":"2004","unstructured":"Noy, N.F.: Semantic integration: A survey of ontology-based approaches. SIGMOD Record\u00a033(4), 65\u201370 (2004)","journal-title":"SIGMOD Record"},{"issue":"4","key":"64_CR8","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E. Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. VLDB J\u00a010(4), 334\u2013350 (2001)","journal-title":"VLDB J"},{"key":"64_CR9","first-page":"43","volume-title":"Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) Description Logic Handbook, pp. 43\u201395. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"64_CR10","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.\u00a048(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"64_CR11","unstructured":"Pan, J.Z.: Description Logics: Reasoning Support for the Semantic Web. PhD thesis, School of Computer Science, The University of Manchester, Oxford Rd, Manchester M13 9PL, UK (2004)"},{"issue":"2","key":"64_CR12","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. J. ACM\u00a041(2), 340\u2013367 (1994)","journal-title":"J. ACM"},{"issue":"1\/2","key":"64_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput.\u00a087(1\/2), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"key":"64_CR14","first-page":"71","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. ai\u00a028, 71\u201387 (1986)","journal-title":"ai"},{"key":"64_CR15","first-page":"1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Epistemic and Temporal Reasoning","author":"J.Y. Halpern","year":"1995","unstructured":"Halpern, J.Y.: Reasoning about knowledge: A survey. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Epistemic and Temporal Reasoning, vol.\u00a04, pp. 1\u201334. Clarendon Press, Oxford (1995)"},{"issue":"1-2","key":"64_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0004-3702(96)00003-3","volume":"87","author":"F. Bacchus","year":"1996","unstructured":"Bacchus, F., Grove, A.J., Halpern, J.Y., Koller, D.: From statistical knowledge bases to degrees of belief. Artif. Intell.\u00a087(1-2), 75\u2013143 (1996)","journal-title":"Artif. Intell."},{"key":"64_CR17","unstructured":"Fagin, R., Halpern, J.Y.: Uncertainty, belief, and probability. In: IJCAI, pp. 1161\u20131167 (1989)"},{"key":"64_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-57529-4_65","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"F. Bacchus","year":"1993","unstructured":"Bacchus, F., Grove, A.J., Halpern, J.Y., Koller, D.: Generating degrees of belief from statistical information: An overview. In: Shyamasundar, R.K. (ed.) Foundations of Software Technology and Theoretical Computer Science. LNCS, vol.\u00a0761, pp. 318\u2013325. Springer, Heidelberg (1993)"},{"issue":"2","key":"64_CR19","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0004-3702(97)00040-4","volume":"95","author":"N. Friedman","year":"1997","unstructured":"Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems, part I: Foundations. Artif. Intell.\u00a095(2), 257\u2013316 (1997)","journal-title":"Artif. Intell."},{"key":"64_CR20","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1613\/jair.506","volume":"10","author":"N. Friedman","year":"1999","unstructured":"Friedman, N., Halpern, J.Y.: Modeling belief in dynamic systems, part II: Revision and update. J. Artif. Intell. Res. (JAIR)\u00a010, 117\u2013167 (1999)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"64_CR21","first-page":"311","volume-title":"Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence","author":"J. Heinsohn","year":"1994","unstructured":"Heinsohn, J.: Probabilistic description logics. In: de Mantaras, R.L., Poole, D. (eds.) Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, pp. 311\u2013318. Morgan Kaufmann, San Francisco (1994)"},{"key":"64_CR22","unstructured":"Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. In: KR, pp. 380\u2013393 (1998)"},{"key":"64_CR23","doi-asserted-by":"crossref","unstructured":"Jaeger, M.: Probabilistic reasoning in terminological logics. In: KR, pp. 305\u2013316 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"key":"64_CR24","first-page":"808","volume":"1","author":"F. Baader","year":"1995","unstructured":"Baader, F., Laux, A.: Terminological logics with modal operators. IJCAI\u00a0(1), 808\u2013815 (1995)","journal-title":"IJCAI"}],"container-title":["Lecture Notes in Computer Science","New Trends in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73325-6_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:13:45Z","timestamp":1605762825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73325-6_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733225"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73325-6_64","relation":{},"subject":[]}}