{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:09Z","timestamp":1761611229461},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710691"},{"type":"electronic","value":"9783540710707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71070-7_20","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T05:56:30Z","timestamp":1219989390000},"page":"242-258","source":"Crossref","is-referenced-by-count":2,"title":["Individual Reuse in Description Logic Reasoning"],"prefix":"10.1007","author":[{"given":"Boris","family":"Motik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","first-page":"364","volume-title":"Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005)","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ Envelope. In: Pack Kaelbling, L., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, July 30\u2013August 5 2005, pp. 364\u2013369. Morgan Kaufmann, San Francisco (2005)"},{"key":"20_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"20_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014A Polynomial-Time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Logics in Artificial Intelligence","author":"P. Baumgartner","year":"1996","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper Tableaux. In: Or\u0142owska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS, vol.\u00a01126, pp. 1\u201317. Springer, Heidelberg (1996)"},{"key":"20_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-49545-2_9","volume-title":"Logics in Artificial Intelligence","author":"F. Bry","year":"1998","unstructured":"Bry, F., Torge, S.: A Deduction Method Complete for Refutation and Finite Satisfiability. In: Dix, J., del Cerro, L.F., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"issue":"1-2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0747-7171(03)00034-8","volume":"36","author":"L. Georgieva","year":"2003","unstructured":"Georgieva, L., Hustadt, U., Schmidt, R.A.: Hyperresolution for Guarded Formulae. Journal of Symbolic Computation\u00a036(1-2), 163\u2013192 (2003)","journal-title":"Journal of Symbolic Computation"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/1242572.1242669","volume-title":"Proc. of the 16th Int. Conf. on World Wide Web (WWW 2007)","author":"B. Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the Right Amount: Extracting Modules from Ontologies. In: Proc. of the 16th Int. Conf. on World Wide Web (WWW 2007), Banff, AB, Canada, May 8\u201312, 2007, pp. 717\u2013726. ACM Press, New York (2007)"},{"key":"20_CR8","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\u2013706. Springer, Heidelberg (2001)"},{"key":"20_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46508-1_13","volume-title":"Automated Deduction in Classical and Non-Classical Logics","author":"U. Hustadt","year":"2000","unstructured":"Hustadt, U., Schmidt, R.A.: Issues of Decidability for Description Logics in the Framework of Resolution. In: Caferra, R., Salzer, G. (eds.) FTP 1998. LNCS (LNAI), vol.\u00a01761, pp. 191\u2013205. Springer, Heidelberg (2000)"},{"key":"20_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Technical report, University of Oxford, Submitted to an international journal (2008)","DOI":"10.1613\/jair.2811"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B. Parsia","year":"2004","unstructured":"Parsia, B., Sirin, E.: Pellet: An OWL-DL Reasoner. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298. Springer, Heidelberg (2004)"},{"key":"20_CR13","first-page":"414","volume-title":"Proc. of the 17th Annual Symposium on Computer Applications in Medical Care (SCAMC 1993)","author":"A.L. Rector","year":"1993","unstructured":"Rector, A.L., Nowlan, W.A., Glowinski, A.: Goals for concept representation in the galen project. In: Safran, C. (ed.) Proc. of the 17th Annual Symposium on Computer Applications in Medical Care (SCAMC 1993), Washington DC, USA, November 1\u20133 1993, pp. 414\u2013418. McGraw-Hill, New York (1993)"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1016\/j.jbi.2003.11.007","volume":"36","author":"C. Rosse","year":"2003","unstructured":"Rosse, C., Mejino, J.V.L.: A reference ontology for biomedical informatics: the Foundational Model of Anatomy. Journal of Biomedical Informatics\u00a036, 478\u2013500 (2003)","journal-title":"Journal of Biomedical Informatics"},{"key":"20_CR15","first-page":"609","volume-title":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005)","author":"D. Tsarkov","year":"2005","unstructured":"Tsarkov, D., Horrocks, I.: Ordering Heuristics for Description Logic Reasoning. In: Pack Kaelbling, L., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, July 30\u2013August 5 2005, pp. 609\u2013614. Morgan Kaufmann Publishers, San Francisco (2005)"},{"key":"20_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Why Is Modal Logic So Robustly Decidable. In: Immerman, N., Kolaitis, P. (eds.) Proc. of a DIMACS Workshop on Descriptive Complexity and Finite Models, January 14\u201317, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a031, pp. 149\u2013184. Princeton University Press, American Mathematical Society (1996)","DOI":"10.1090\/dimacs\/031\/05"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71070-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:15:11Z","timestamp":1605744911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71070-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540710691","9783540710707"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71070-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}