{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:01Z","timestamp":1725487081728},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540728290"},{"type":"electronic","value":"9783540728306"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72830-6_4","type":"book-chapter","created":{"date-parts":[[2007,7,5]],"date-time":"2007-07-05T23:38:54Z","timestamp":1183678734000},"page":"31-41","source":"Crossref","is-referenced-by-count":0,"title":["Pr $\\mathcal{SH}$ : A Belief Description Logic"],"prefix":"10.1007","author":[{"given":"Tao","family":"Jia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lifu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: A tractable probablistic description logic. In: AAAI\/IAAI, pp. 390\u2013397 (1997)"},{"key":"4_CR2","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)"},{"key":"4_CR3","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. In: IJCAI, pp. 1375\u20131381 (1989)"},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316534960","volume-title":"Logic of Statistical Inference","author":"I. Hacking","year":"1965","unstructured":"Hacking, I.: Logic of Statistical Inference. Cambridge University Press, Cambridge (1965)"},{"issue":"1-2","key":"4_CR5","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."},{"issue":"4","key":"4_CR6","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":"4_CR7","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."},{"issue":"1","key":"4_CR8","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. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"4_CR9","unstructured":"Pan, J.Z.: Description Logics: Reasoning Support for the Semantic Web. PhD thesis, School of Computer Science, The University of Manchester, Manchester (2004)"},{"issue":"1\/2","key":"4_CR10","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":"4_CR11","first-page":"71","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. AI\u00a028, 71\u201387 (1986)","journal-title":"AI"},{"key":"4_CR12","first-page":"1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: 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, Volume 4: Epistemic and Temporal Reasoning, pp. 1\u201334. Clarendon Press, Oxford (1995)"},{"key":"4_CR13","unstructured":"Fagin, R., Halpern, J.Y.: Uncertainty, belief, and probability. In: IJCAI, pp. 1161\u20131167 (1989)"},{"issue":"2","key":"4_CR14","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":"4_CR15","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":"4_CR16","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, July 1994, pp. 311\u2013318. Morgan Kaufmann, San Francisco (1994)"},{"key":"4_CR17","unstructured":"Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. In: KR, pp. 380\u2013393 (1998)"},{"key":"4_CR18","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":"4_CR19","unstructured":"Baader, F., Laux, A.: Terminological logics with modal operators. In: IJCAI (1), pp. 808\u2013815 (1995)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72830-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T13:22:48Z","timestamp":1550409768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72830-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540728290","9783540728306"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72830-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}