{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T03:42:26Z","timestamp":1780544546049,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642210631","type":"print"},{"value":"9783642210648","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21064-8_22","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T08:26:10Z","timestamp":1307694370000},"page":"315-329","source":"Crossref","is-referenced-by-count":4,"title":["Zhi# \u2013 OWL Aware Compilation"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Paar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Denny","family":"Vrande\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"22_CR2","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"22_CR3","unstructured":"Babik, M., Hluchy, L.: Deep integration of Python with Web Ontology Language. In: Bizer, C., Auer, S., Miller, L. (eds.) 2nd Workshop on Scripting for the Semantic Web (SFSW) CEUR Workshop Proceedings, vol.\u00a0183 (June 2006)"},{"key":"22_CR4","unstructured":"Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes Second Edition. Technical report, World Wide Web Consortium (W3C) (October 2004)"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-47891-4_15","volume-title":"ECOOP \u201987 European Conference on Object-Oriented Programming","author":"L.G. Demichiel","year":"1987","unstructured":"Demichiel, L.G., Gabriel, R.P.: The Common Lisp Object System: An Overview. In: B\u00e9zivin, J., Hullot, J.-M., Lieberman, H., Cointe, P. (eds.) ECOOP 1987. LNCS, vol.\u00a0276, pp. 151\u2013170. Springer, Heidelberg (1987)"},{"key":"22_CR6","unstructured":"Hejlsberg, A., Wiltamuth, S., Golde, P.: C# language specification version 1.0. Technical report, ECMA International (2002)"},{"key":"22_CR7","unstructured":"Labs, H.P.: Jena Semantic Web Framework (2004)"},{"key":"22_CR8","unstructured":"Information Society Technology integrated project 506909. Computers in the Human Interaction Loop, CHIL (2004)"},{"key":"22_CR9","unstructured":"Kalyanpur, A., Pastor, D.J., Battle, S., Padget, J.A.: Automatic mapping of OWL ontologies into Java. In: Maurer, F., Ruhe, G. (eds.) 16th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 98\u2013103 (June 2004)"},{"key":"22_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G. Kiczales","year":"1991","unstructured":"Kiczales, G., de Rivi\u00e8res, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11836025_27","volume-title":"The Semantic Web \u2013 ASWC 2006","author":"S. Koide","year":"2006","unstructured":"Koide, S., Takeda, H.: OWL Full reasoning from an object- oriented perspective. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol.\u00a04185, pp. 263\u2013277. Springer, Heidelberg (2006)"},{"key":"22_CR12","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. Technical report, World Wide Web Consortium (W3C) (February 2004)"},{"key":"22_CR13","unstructured":"Meijer, E., Drayton, P.: Static typing where possible, dynamic typing when needed. In: OOPSLA Workshop on Revival of Dynamic Languages (2004)"},{"key":"22_CR14","unstructured":"Object Management Group (OMG). MetaObject Facility (August 2005)"},{"key":"22_CR15","unstructured":"Object Management Group (OMG). Ontology Definition Metamodel (2005)"},{"key":"22_CR16","first-page":"165","volume-title":"ateM 2007: Proceedings of the 4th International Workshop on Software Language Engineering","author":"A. Paar","year":"2007","unstructured":"Paar, A.: Zhi# \u2013 programming language inherent support for ontologies. In: Favre, J.-M., Gasevic, D., L\u00e4mmel, R., Winter, A. (eds.) ateM 2007: Proceedings of the 4th International Workshop on Software Language Engineering, Mainzer Informatik-Berichte,Mainz, Germany, pp. 165\u2013181. Johannes Gutenberg Universit\u00e4t Mainz, Nashville (2007)"},{"key":"22_CR17","unstructured":"Paar, A.: Zhi# \u2013 Programming Language Inherent Support for Ontologies. PhD thesis, Universit\u00e4t Karlsruhe (TH), Am Fasanengarten 5, 76137 Karlsruhe, Germany (July 2009), \n                    \n                      http:\/\/digbib.ubka.uni-karlsruhe.de\/volltexte\/1000019039"},{"key":"22_CR18","unstructured":"Prot\u00e9g\u00e9 Wiki.: Ontology Bean Generator (2007)"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-88564-1_9","volume-title":"The Semantic Web - ISWC 2008","author":"C. Puleston","year":"2008","unstructured":"Puleston, C., Parsia, B., Cunningham, J., Rector, A.L.: Integrating object-oriented and ontological representations: A case study in Java and OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 130\u2013145. Springer, Heidelberg (2008)"},{"key":"22_CR20","volume-title":"7th Workshop on Scheme and Functional Programming (Scheme) ACM SIGPLAN Notices","author":"J.G. Siek","year":"2006","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Bailey, M.W. (ed.) 7th Workshop on Scheme and Functional Programming (Scheme) ACM SIGPLAN Notices, vol.\u00a041. ACM Press, New York (2006)"},{"key":"22_CR21","unstructured":"Stanford University School of Medicine. Prot\u00e9g\u00e9 knowledge acquisition system (2006)"},{"key":"22_CR22","unstructured":"Telecom Italia. Java Agent Development Framework, JADE (2007)"},{"key":"22_CR23","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/96709.96747","volume-title":"17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"S.R. Thatte","year":"1990","unstructured":"Thatte, S.R.: Quasi-static typing. In: 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 367\u2013381. ACM Press, New York (1990)"},{"issue":"1","key":"22_CR24","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1145\/1328897.1328486","volume":"43","author":"S. Tobin-Hochstadt","year":"2008","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of typed Scheme. ACM SIGPLAN Notices\u00a043(1), 395\u2013406 (2008)","journal-title":"ACM SIGPLAN Notices"},{"key":"22_CR25","unstructured":"V\u00f6lkel, M.: RDFReactor \u2013 from ontologies to programmatic data access. In: 1st Jena User Conference (JUC). HP Bristol (May 2006)"}],"container-title":["Lecture Notes in Computer Science","The Semanic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21064-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T10:53:55Z","timestamp":1553770435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21064-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210631","9783642210648"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21064-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}