{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:18:33Z","timestamp":1725520713038},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885634"},{"type":"electronic","value":"9783540885641"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88564-1_14","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T12:17:23Z","timestamp":1224505043000},"page":"213-228","source":"Crossref","is-referenced-by-count":18,"title":["Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Klinov","sequence":"first","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Giugno, R., Lukasiewicz, T.: \n                      \n                        \n                      \n                      ${P-}\\mathcal{SHOQ}{(D)}$\n                    : A probabilistic extension of \n                      \n                        \n                      \n                      $\\mathcal{SHOQ}$\n                    (D) for probabilistic ontologies in the semantic web. Technical Report Nr. 1843-02-06, Institut fur Informationssysteme, Technische Universitat Wien (2002)"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Transactions on Computational Logic\u00a02(3), 289\u2013339 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"25","key":"14_CR3","doi-asserted-by":"publisher","first-page":"1879","DOI":"10.1093\/jnci\/81.24.1879","volume":"81","author":"M.H. Gail","year":"1989","unstructured":"Gail, M.H., Brinton, L.A., Byar, D.P., Corle, D.K., Green, S.B., Shairer, C., Mulvihill, J.J.: Projecting individualized probabilities of developing breast cancer for white females who are being examined annually. Journal of the National Cancer Institute\u00a081(25), 1879\u20131886 (1989)","journal-title":"Journal of the National Cancer Institute"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Klinov, P.: Pronto: a non-monotonic probabilistic description logic reasoner. In: Proceeding of the European Semantic Web Conference (2008)","DOI":"10.1007\/978-3-540-68234-9_66"},{"issue":"6-7","key":"14_CR5","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"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D. Lehmann","year":"1995","unstructured":"Lehmann, D.: Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence\u00a015(1), 61\u201382 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1-3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T. Lukasiewicz","year":"2002","unstructured":"Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Annals of Mathematics and Artificial Intelligence\u00a034(1-3), 35\u201388 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Journal of the IGPL\u00a08(3) (2000)","DOI":"10.1093\/jigpal\/8.3.239"},{"key":"14_CR9","unstructured":"Komen, S.G.: Breast cancer risk factors table (2007), Retrieved from: \n                      \n                        http:\/\/cms.komen.org\/Komen\/AboutBreastCancer\/"},{"key":"14_CR10","unstructured":"Cheeseman, P., Kanefsky, B., Taylor, W.M.: Computational complexity and phase transitions. In: Proceedings of IJCAI, pp. 331\u2013337 (1991)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Proceedings of IJCAI, pp. 267\u2013280 (2007)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-30557-6_14","volume-title":"Practical Aspects of Declarative Languages","author":"J. Bailey","year":"2005","unstructured":"Bailey, J., Stuckey, P.: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 174\u2013186. Springer, Heidelberg (2005)"},{"key":"14_CR13","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Generating hard modal problems for modal decision procedures. In: First Methods for Modalities Workshop (1999)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88564-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T23:34:24Z","timestamp":1552347264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88564-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885634","9783540885641"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88564-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}