{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:54:43Z","timestamp":1725551683496},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300182"},{"type":"electronic","value":"9783540322870"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11581116_26","type":"book-chapter","created":{"date-parts":[[2005,10,23]],"date-time":"2005-10-23T15:09:30Z","timestamp":1130080170000},"page":"245-254","source":"Crossref","is-referenced-by-count":13,"title":["Scalable Instance Retrieval for the Semantic Web by Approximation"],"prefix":"10.1007","author":[{"given":"Holger","family":"Wache","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perry","family":"Groot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"The Description Logic Handbook - Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"26_CR2","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, vol.\u00a03532, pp. 318\u2013332. Springer, Heidelberg (2005)"},{"key":"26_CR3","unstructured":"Haarslev, V., M\u00f6ller, R.: RACE system description. In: Proceedings of the 1999 DL Workshop, CEUR Electronic Workshop Proceedings, pp. 130\u2013132 (1999)"},{"key":"26_CR4","unstructured":"Haarslev, V., M\u00f6ller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI 2001, pp. 161\u2013168 (2001)"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FACT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS, vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"26_CR7","first-page":"636","volume-title":"KR 1998","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: KR 1998, pp. 636\u2013647. Morgan Kaufmann, San Francisco (1998)"},{"key":"26_CR8","unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL Reasoning with Large Numbers of Individuals. In: Proc. of the 2004 DL Workshop (2004)"},{"key":"26_CR9","unstructured":"Horrocks, I., Tessaris, S.: A Conjunctive Query Language for Description Logic Aboxes. In: AAAI, pp. 399\u2013404 (2000)"},{"key":"26_CR10","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":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","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: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS, vol.\u00a02522, pp. 329\u2013343. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering \u2013 WISE 2005 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11581116_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:55Z","timestamp":1619505955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11581116_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300182","9783540322870"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11581116_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}