{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:59:27Z","timestamp":1725559167183},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261247"},{"type":"electronic","value":"9783540315476"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431053_22","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:48:34Z","timestamp":1279082914000},"page":"318-332","source":"Crossref","is-referenced-by-count":13,"title":["Approximating Description Logic Classification for Semantic Web Reasoning"],"prefix":"10.1007","author":[{"given":"Perry","family":"Groot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Wache","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","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":"22_CR2","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":"22_CR3","first-page":"33","volume-title":"KR 1989: Principles of Knowledge Representation and Reasoning","author":"A. Borgida","year":"1989","unstructured":"Borgida, A., Etherington, D.W.: Hierarchical knowledge bases and efficient disjunctive reasoning. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) KR 1989: Principles of Knowledge Representation and Reasoning, pp. 33\u201343. Morgan Kaufmann, San Mateo (1989)"},{"key":"22_CR4","first-page":"297","volume-title":"Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000)","author":"F. Baader","year":"2000","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Rewriting concepts using terminologies. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 297\u2013308. Morgan Kaufmann, San Francisco (2000)"},{"key":"22_CR5","first-page":"203","volume-title":"Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)","author":"S. Brandt","year":"2002","unstructured":"Brandt, S., K\u00fcsters, R., Turhan, A.Y.: Approximation and difference in description logics. In: Fensel, D., Giunchiglia, F., McGuiness, D., Williams, M.-A. (eds.) Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 203\u2013214. Morgan Kaufmann, San Francisco (2002)"},{"key":"22_CR6","first-page":"1109","volume-title":"Proceedings of AAAI 1990","author":"D. McAllester","year":"1990","unstructured":"McAllester, D.: Truth maintenance. In: Proceedings of AAAI 1990, pp. 1109\u20131116. Morgan Kaufmann, San Francisco (1990)"},{"key":"22_CR7","unstructured":"OWL test suite, \n                    \n                      http:\/\/www.w3.org\/TR\/owl-test\/"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","volume":"53","author":"F. Donini","year":"1992","unstructured":"Donini, F., Hollunder, B., Lenzerini, M., Spaccamela, A.M., Nardi, D., Nutt, W.: The complexity of existential quantification in concept languages. Artificial Intelligence\u00a053, 309\u2013327 (1992)","journal-title":"Artificial Intelligence"},{"key":"22_CR9","first-page":"399","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004)","author":"P. Groot","year":"2004","unstructured":"Groot, P., ten Teije, A., van Harmelen, F.: Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification. In: Dubois, D., Welty, C., Williams, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, BC, Canada, pp. 399\u2013406. AAAI Press, Menlo Park (2004)"},{"key":"22_CR10","first-page":"454","volume-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997)","author":"A. Teije ten","year":"1997","unstructured":"ten Teije, A., van Harmelen, F.: Exploiting domain knowledge for approximate diagnosis. In: Pollack, M. (ed.) Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, vol.\u00a01, pp. 454\u2013459. Morgan Kaufmann, San Francisco (1997)"},{"key":"22_CR11","volume-title":"Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR 1996)","author":"A. Teije ten","year":"1996","unstructured":"ten Teije, A., van Harmelen, F.: Computing approximate diagnoses by using approximate entailment. In: Aiello, G., Doyle, J. (eds.) Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR 1996), Boston, Massachusetts. Morgan Kaufman, San Francisco (1996)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. of the Twelfth International World Wide Web Conference (WWW 2003)","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48\u201357. ACM, New York (2003)"},{"key":"22_CR13","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"22_CR14","unstructured":"Haarslev, V., M\u00f6ller, R.: Race system description. In: Proceedings of the 1999 Description Logic Workshop (DL 1999). CEUR Electronic Workshop Proceedings, pp. 130\u2013132 (1999)"},{"key":"22_CR15","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"22_CR16","unstructured":"Bechhofer, S., M\u00f6ller, R., Crowther, P.: The dig description logic interface. In: Proceedings of DL 2003 International Workshop on Description Logics, Rome (2003)"},{"key":"22_CR17","first-page":"25","volume-title":"Proceedings of the Sixth International Conference on Intelligent Systems for Molecular Biology (ISMB 1998)","author":"P. Baker","year":"1998","unstructured":"Baker, P., Brass, A., Bechhofer, S., Goble, C., Paton, N., Stevens, R.: TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources. An Overview. In: Proceedings of the Sixth International Conference on Intelligent Systems for Molecular Biology (ISMB 1998), pp. 25\u201334. AAAI Press, Menlow Park (1998)"},{"key":"22_CR18","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library. WonderWeb Deliverable D18. Laboratory For Applied Ontology - ISTC-CNR (20003)"},{"key":"22_CR19","unstructured":"Rector, A.L., Nowlan, W.A., Glowinski, A.: Goals for concept representation in the galen project. In: Proceedings of the Seventeenth Annual Symposium on Computer Applications in Medical Care (SCAMC 1993), Washington DC, USA, pp. 414\u2013418 (1993)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-27818-4_6","volume-title":"Mathematical Knowledge Management","author":"O. Caprotti","year":"2004","unstructured":"Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and owl. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 73\u201387. Springer, Heidelberg (2004) (to appear)"},{"key":"22_CR21","unstructured":"Bechhofer, S.: OWL Reasoning Examples. University of Manchester (2003), \n                    \n                      http:\/\/owl.man.ac.uk\/2003\/why\/latest\/"},{"key":"22_CR22","unstructured":"Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: National conference on artificial intelligence (AAAI 2000), pp. 399\u2013404 (2000)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431053_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:14Z","timestamp":1619507474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431053_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261247","9783540315476"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11431053_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}