{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:48:52Z","timestamp":1725572932879},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255604"},{"type":"electronic","value":"9783540321248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415763_1","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T19:42:42Z","timestamp":1292874162000},"page":"1-15","source":"Crossref","is-referenced-by-count":1,"title":["Optimizing the Evaluation of XPath Using Description Logics"],"prefix":"10.1007","author":[{"given":"Peter","family":"Baumgartner","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[]},{"given":"Margret","family":"Gross-Hardt","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Kleemann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Description Logic Handbook","year":"2002","key":"1_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"1_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-69778-0_14","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Baumgartner","year":"1998","unstructured":"Baumgartner, P.: Hyper Tableaux \u2014 The Next Generation. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 60\u201376. Springer, Heidelberg (1998)"},{"key":"1_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-30221-6_14","volume-title":"KI 2004: Advances in Artificial Intelligence","author":"P. Baumgartner","year":"2004","unstructured":"Baumgartner, P., Furbach, U., Gro\u00df-Hardt, M., Kleemann, T.: Model Based Deduction for Database Schema Reasoning. In: Biundo, S., Fr\u00fchwirth, T., Palm, G. (eds.) KI 2004. LNCS, vol.\u00a03238, pp. 168\u2013182. Springer, Heidelberg (2004)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","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. Springer, Heidelberg (1996)"},{"key":"1_CR6","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (xml) 1.0, w3c recommendation, 2nd edn., (October 6, 2000)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-45619-8_18","volume-title":"Logic Programming","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: Towards a declarative query and transformation language for XML and semistructured data: Simulation unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, p. 255. Springer, Heidelberg (2002)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/3-540-48738-7_34","volume-title":"Advanced Information Systems Engineering","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M.: Queries and constraints on semi-structured data. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol.\u00a01626, pp. 434\u2013438. Springer, Heidelberg (1999)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M.: Representing and reasoning on XML Documents: a Description Logic Approach. Journal of Logic and Computation, 295\u2013318 (1999)","DOI":"10.1093\/logcom\/9.3.295"},{"key":"1_CR10","first-page":"1121","volume-title":"Handbook of Automated Reasoning","author":"J. Dix","year":"2001","unstructured":"Dix, J., Furbach, U., Niemel\u00e4, I.: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. In: Voronkov, A., Robinson, A. (eds.) Handbook of Automated Reasoning, pp. 1121\u20131234. Elsevier-Science-Press, Amsterdam (2001)"},{"key":"1_CR11","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, p. 701. Springer, Heidelberg (2001)"},{"key":"1_CR12","unstructured":"ISO8879:1986. Information processing \u2013 text and office systems \u2013 standard generalized markup language (sgml) (1986)"},{"key":"1_CR13","unstructured":"Patel-Schneider, P.F., Swartout, B.: Description-logic knowledge representation system specification (November 1993)"},{"key":"1_CR14","unstructured":"W3C. XML Schema - part 0 to part 2 (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/xmlschema-0,-1,-2"},{"key":"1_CR15","unstructured":"W3C. XML path language (XPath) 2.0 (2002), \n                    \n                      http:\/\/www.w3.org\/TR\/xpath20"},{"key":"1_CR16","unstructured":"Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14\u20132003, Universit\u00e4t Koblenz-Landau, Institut f\u00fcr Informatik (2003)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415763_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:32Z","timestamp":1619507012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415763_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255604","9783540321248"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11415763_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}