{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:25:02Z","timestamp":1767651902791},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540887362"},{"type":"electronic","value":"9783540887379"}],"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-88737-9_12","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T06:59:22Z","timestamp":1224226762000},"page":"150-164","source":"Crossref","is-referenced-by-count":17,"title":["What Is Approximate Reasoning?"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Rudolph","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuvshintur","family":"Tserendorj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/MIC.2007.51","volume":"11","author":"D. Fensel","year":"2007","unstructured":"Fensel, D., Harmelen, F.V.: Unifying reasoning and search to web scale. IEEE Internet Computing\u00a011, 94\u201396 (2007)","journal-title":"IEEE Internet Computing"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.P. Dowling","year":"1984","unstructured":"Dowling, W.P., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming\u00a01, 267\u2013284 (1984)","journal-title":"Journal of Logic Programming"},{"key":"12_CR3","first-page":"301","volume-title":"Uncertainty in Artificial Intelligence 3","author":"E.J. Horvitz","year":"1987","unstructured":"Horvitz, E.J.: Reasoning about beliefs and actions under computational resource constraints. In: Kanal, L.N., Levitt, T.S., Lemmer, J.F. (eds.) Uncertainty in Artificial Intelligence 3, pp. 301\u2013324. Elsevier, Amsterdam (1987)"},{"key":"12_CR4","unstructured":"Selman, B., Kautz, H.A.: Knowledge compilation using Horn approximations. In: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI 1991), pp. 904\u2013909 (1991)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence\u00a074, 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.3233\/FI-1995-2316","volume":"23","author":"M. Cadoli","year":"1995","unstructured":"Cadoli, M., Schaerf, M.: Approximate inference in default reasoning and circumscription. Fundamenta Informaticae\u00a023, 123\u2013143 (1995)","journal-title":"Fundamenta Informaticae"},{"issue":"3\u20134","key":"12_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1018947704302","volume":"22","author":"M. Dalal","year":"1998","unstructured":"Dalal, M.: Anytime clausal reasoning. Annals of Mathematics and Artificial Intelligence\u00a022(3\u20134), 297\u2013318 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Cadoli, M., Scarcello, F.: Semantical and computational aspects of Horn approximations. Artificial Intelligence 119 (2000)","DOI":"10.1016\/S0004-3702(00)00010-2"},{"key":"12_CR9","unstructured":"van Harmelen, F., ten Teije, A.: Describing problem solving methods using anytime performance profiles. In: Proceedings of ECAI 2000, Berlin, August 2000, pp. 181\u2013186 (2000)"},{"key":"12_CR10","unstructured":"Groot, P., ten Teije, A., van Harmelen, F.: Towards a structured analysis of approximate problem solving: a case study in classification. In: Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Colorado (2004)"},{"key":"12_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36109-X_26","volume-title":"Flexible Query Answering Systems","author":"H. Stuckenschmidt","year":"2002","unstructured":"Stuckenschmidt, H., van Harmelen, F.: Approximating terminological queries. In: Larsen, H., et al. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522. Springer, Heidelberg (2002)"},{"key":"12_CR12","unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proceedings of the International Workshop on Description Logics, DL 2004, Whistler, Canada, pp. 31\u201340 (2004)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11431053_22","volume-title":"The Semantic Web: Research and Applications","author":"P. Groot","year":"2005","unstructured":"Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 318\u2013332. Springer, Heidelberg (2005)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web: Research and Applications","author":"P. Groot","year":"2005","unstructured":"Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532. Springer, Heidelberg (2005)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11574620_29","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Hitzler","year":"2005","unstructured":"Hitzler, P., Vrandecic, D.: Resolution-based approximate reasoning for OWL DL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"12_CR16","first-page":"1434","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"J.Z. Pan","year":"2007","unstructured":"Pan, J.Z., Thomas, E.: Approximating OWL-DL ontologies. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1434\u20131439. AAAI Press, Menlo Park (2007)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11581116_26","volume-title":"Web Information Systems Engineering \u2013 WISE 2005 Workshops","author":"H. Wache","year":"2005","unstructured":"Wache, H., Groot, P., Stuckenschmidt, H.: Scalable instance retrieval for the semantic web by approximation. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol.\u00a03807, pp. 245\u2013254. Springer, Heidelberg (2005)"},{"key":"12_CR18","first-page":"1459","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"H. Stuckenschmidt","year":"2007","unstructured":"Stuckenschmidt, H.: Partial matchmaking using approximate subsumption. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1459\u20131464. AAAI Press, Menlo Park (2007)"},{"key":"12_CR19","unstructured":"Tserendorj, T., Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Approximate OWL reasoning with Screech. In: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems, RR 2008, October 2008, Karlsruhe, Germany (to appear, 2008)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88737-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T09:44:02Z","timestamp":1589017442000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88737-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540887362","9783540887379"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88737-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}