{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:10:37Z","timestamp":1759032637332,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280057"},{"type":"electronic","value":"9783540318644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11532231_33","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T18:56:52Z","timestamp":1279738612000},"page":"452-457","source":"Crossref","is-referenced-by-count":24,"title":["KRHyper \u2013 In Your Pocket"],"prefix":"10.1007","author":[{"given":"Alex","family":"Sinner","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Kleemann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","volume-title":"Description Logic Handbook","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"33_CR2","unstructured":"Baumgartner, P.: Hyper Tableaux \u2014 The Next Generation. Technical Report 32\u201397, Universit\u00e4t Koblenz-Landau (1997)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U.: PROTEIN: A PROver with a theory extension INterface. In: Conference on Automated Deduction, pp. 769\u2013773 (1994)","DOI":"10.1007\/3-540-58156-1_57"},{"key":"33_CR4","series-title":"Lecture Notes in Artificial Intelligence","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., Gross-Hardt, M., Kleemann, T.: Model based deduction for database schema reasoning. In: Biundo, S., Fr\u00fchwirth, T., Palm, G. (eds.) KI 2004. LNCS (LNAI), vol.\u00a03238, pp. 168\u2013182. Springer, Heidelberg (2004)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper Tableaux. Technical Report 8\u201396, Universit\u00e4t Koblenz-Landau (1996)","DOI":"10.1007\/3-540-61630-6_1"},{"key":"33_CR6","unstructured":"Baumgartner, P., Furbach, U., Yahya, A.H.: Automated reasoning, knowledge representation and management. In: KI, vol.\u00a01, pp. 5\u201311 (2005)"},{"key":"33_CR7","unstructured":"Baumgartner, P., Suchanek, F.M.: Automated Reasoning Support for SUMO\/KIF. Submitted (2005)"},{"key":"33_CR8","volume-title":"Proceedings of the Twelfth International World Wide Web Conference (WWW 2003)","author":"B. Grosof","year":"2003","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), ACM, New York (2003)"},{"key":"33_CR9","first-page":"273","volume-title":"KR2000: 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: KR2000: Principles of Knowledge Representation and Reasoning, pp. 273\u2013284. Morgan Kaufmann, San Francisco (2000)"},{"key":"33_CR10","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":"33_CR11","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/775152.775199","volume-title":"Proceedings of the Twelfth International World Wide Web Conference (WWW 2003)","author":"L. Li","year":"2003","unstructured":"Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), pp. 331\u2013339. ACM, New York (2003)"},{"key":"33_CR12","unstructured":"Patel-Schneider, P.F., Swartout, B.: Description-logic knowledge representation system specification (November 1993)"},{"key":"33_CR13","unstructured":"Sinner, A., Kleemann, T., von Hessling, A.: Semantic user profiles and their applications in a mobile environment. Artificial Intelligence in Mobile Systems 2004 (2004)"},{"issue":"2","key":"33_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, G., Suttner, C.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning\u00a021(2), 177\u2013203 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Wahlster, W.: Smartweb: Mobile applications of the semantic web. In: GI Jahrestagung (1), pp. 26\u201327 (2004)","DOI":"10.1007\/978-3-540-30221-6_4"},{"key":"33_CR16","unstructured":"Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14\u20132003, Universit\u00e4t Koblenz-Landau (2003)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-20"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11532231_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T06:05:40Z","timestamp":1740290740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11532231_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280057","9783540318644"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11532231_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}