{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:03:14Z","timestamp":1725566594037},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231660"},{"type":"electronic","value":"9783540302216"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30221-6_14","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T16:47:50Z","timestamp":1285087670000},"page":"168-182","source":"Crossref","is-referenced-by-count":7,"title":["Model Based Deduction for Database Schema Reasoning"],"prefix":"10.1007","author":[{"given":"Peter","family":"Baumgartner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margret","family":"Gross-Hardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kleemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Description Logic Handbook","year":"2002","key":"14_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"14_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/978-3-540-30227-8_49","volume-title":"Logics in Artificial Intelligence","author":"P. Baumgartner","year":"2004","unstructured":"Baumgartner, P., Burchardt, A.: Logic Programming Infrastructure for Inferences on FrameNet. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 591\u2013603. Springer, Heidelberg (2004)"},{"key":"14_CR3","first-page":"460","volume-title":"15th Int. Joint Conf. on Artificial Intelligence (IJCAI 1997)","author":"P. Baumgartner","year":"1997","unstructured":"Baumgartner, P., Fr\u00f6hlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications. In: 15th Int. Joint Conf. on Artificial Intelligence (IJCAI 1997), Nagoya, pp. 460\u2013465. Morgan Kaufmann, San Francisco (1997)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U., Gross-Hardt, M., Kleemann, T.: Optimizing the Evaluation of XPath using Description Logics. In: Proc. INAP 2004, 15th Int. Conf. on Applications of Declarative Programming and Knowledge Management, Potsdam (2004)","DOI":"10.1007\/11415763_1"},{"key":"14_CR5","series-title":"LNAI","volume-title":"CADE-19 \u2013 The 19th Int. Conf. on Automated Deduction","author":"P. Baumgartner","year":"2003","unstructured":"Baumgartner, P., Furbach, U., Gross-Hardt, M., Sinner, A.: \u2019Living Book\u2019:- \u2019Deduction\u2019, \u2019Slicing\u2019, \u2019Interaction\u2019. \u2013 system description. In: Baader, F. (ed.) CADE-19 \u2013 The 19th Int. Conf. on Automated Deduction. LNCS (LNAI), Springer, Heidelberg (2003)"},{"key":"14_CR6","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)"},{"volume-title":"Automated Deduction. A basis for applications","year":"1998","key":"14_CR7","unstructured":"Bibel, W., Schmitt, P.H. (eds.): Automated Deduction. A basis for applications. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"14_CR8","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M.: Answering queries using views in description logics. In: Proc. DL 1999, Description Logic Workshop (1999)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M.: Representing and reasoning on XML documents: a description logic approach. J. of Logic and Computation, 295\u2013318 (1999)","DOI":"10.1093\/logcom\/9.3.295"},{"key":"14_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":"14_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-based artificial intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Logic-based artificial intelligence, pp. 79\u2013103. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"14_CR12","series-title":"Foundations. Calculi and Refinements","volume-title":"Automated Deduction. A Basis for Applications","author":"U. Furbach","year":"1998","unstructured":"Furbach, U.: Automated deduction. In: Bibel, W., Schmitt, P. (eds.) Automated Deduction. A Basis for Applications. Foundations. Calculi and Refinements, vol.\u00a0I, Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"14_CR13","unstructured":"Gross-Hardt, M.: Querying concepts \u2013 an approach to retrieve xml data by means of their data types. In: 17. WLP -Workshop Logische Programmierung, Technical Report. Technische Universit\u00e4t Dresden (2002)"},{"key":"14_CR14","first-page":"273","volume-title":"KR 2000: Principles of Knowledge Representation and Reasoning","author":"V. Haarslev","year":"2000","unstructured":"Haarslev, V., M\u00f6ller, R.: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In: KR 2000: Principles of Knowledge Representation and Reasoning, pp. 273\u2013284. Morgan Kaufmann, San Francisco (2000)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Kifer, M., Kim, W., Sagiv, Y.: Querying object-oriented databases. In: SIGMOD (1992)","DOI":"10.1145\/130283.130342"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BFb0012847","volume-title":"9th International Conference on Automated Deduction","author":"R. Manthey","year":"1988","unstructured":"Manthey, R., Bry, F.: SATCHMO: a theorem prover implemented in Prolog. In: Lusk, E.\u2018., Overbeek, R. (eds.) CADE 1988. LNCS, vol.\u00a0310, pp. 415\u2013434. Springer, Heidelberg (1988)"},{"key":"14_CR17","volume-title":"Proc. of the Joint Int. Conf. and Symposium on Logic Programming","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Proc. of the Joint Int. Conf. and Symposium on Logic Programming, Bonn, Germany, The MIT Press, Cambridge (1996)"},{"key":"14_CR18","first-page":"337","volume-title":"Proc. First Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1989)","author":"C. Sakama","year":"1990","unstructured":"Sakama, C.: PossibleModel Semantics for Disjunctive Databases. In: Kim, W., Nicholas, J.-M., Nishio, S. (eds.) Proc. First Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1989), pp. 337\u2013351. Elsevier Science Publishers B.V., Amsterdam (1990)"},{"key":"14_CR19","unstructured":"W3C. XPath specification (1999), http:\/\/www.w3.org\/TR\/xpath"},{"key":"14_CR20","unstructured":"W3C. XML Schema - part 0 to part 2 (2001), http:\/\/www.w3.org\/TR\/xmlschema-0 -1, -2,"},{"key":"14_CR21","unstructured":"W3C. XQuery 1.0: An XML query language (2001), http:\/\/www.w3.org\/TR\/xquery\/"},{"key":"14_CR22","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","KI 2004: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30221-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:50:32Z","timestamp":1605743432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30221-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231660","9783540302216"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30221-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}