Zhi# - OWL aware compilation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6643 LNCS, Issue PART 2, 2011, Pages 315-329

  Paar, Alexander ^a   Vrandečić, Denny ^b,c  

^a UNIVERSITY OF PRETORIA   (South Africa)

^b KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

^c UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

C ; ontologies; OWL DL; programmability; Zhi

Indexed keywords

AUTOMATIC REASONING; C#; DATA TYPE; KNOWLEDGE BASIS; OBJECT-ORIENTED PROGRAMMING LANGUAGES; ONTOLOGY LANGUAGE; OWL DL; PROGRAMMABILITY; PROGRAMMING LANGUAGE; RUN-TIME ERRORS; SEMANTIC WEB APPLICATIONS; WEB ONTOLOGY LANGUAGE; ZHI#;

ADA (PROGRAMMING LANGUAGE); OBJECT ORIENTED PROGRAMMING; ONTOLOGY; SEMANTIC WEB; SEMANTICS; USER INTERFACES; WORLD WIDE WEB;

JAVA PROGRAMMING LANGUAGE;

EID: 79960069129     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21064-8_22     Document Type: Conference Paper

References (25)

1. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. ACM Transactions on Programming Languages and Systems (TOPLAS) 13(2), 237-268 (1991)
2. Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
3. 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. 183 (June 2006)
4. Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes Second Edition. Technical report, World Wide Web Consortium (W3C) (October 2004)
5. Demichiel, L.G., Gabriel, R.P.: The Common Lisp Object System: An Overview. In: Bézivin, J., Hullot, J.-M., Lieberman, H., Cointe, P. (eds.) ECOOP 1987. LNCS, vol. 276, pp. 151-170. Springer, Heidelberg (1987)
6. Hejlsberg, A., Wiltamuth, S., Golde, P.: C# language specification version 1.0. Technical report, ECMA International (2002)
7. Labs, H.P.: Jena Semantic Web Framework (2004)
8. Information Society Technology integrated project 506909. Computers in the Human Interaction Loop, CHIL (2004)
9. 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-103 (June 2004)
10. Kiczales, G., de Rivières, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)
11. 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. 4185, pp. 263-277. Springer, Heidelberg (2006) (Pubitemid 44608603)
12. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. Technical report, World Wide Web Consortium (W3C) (February 2004)
13. Meijer, E., Drayton, P.: Static typing where possible, dynamic typing when needed. In: OOPSLA Workshop on Revival of Dynamic Languages (2004)
14. Object Management Group (OMG). MetaObject Facility (August 2005)
15. Object Management Group (OMG). Ontology Definition Metamodel (2005)
16. Paar, A.: Zhi# - programming language inherent support for ontologies. In: Favre, J.-M., Gasevic, D., Lämmel, R., Winter, A. (eds.) ateM 2007: Proceedings of the 4th International Workshop on Software Language Engineering, Mainzer Informatik-Berichte, Mainz, Germany, pp. 165-181. Johannes Gutenberg Universität Mainz, Nashville (2007)
17. Paar, A.: Zhi# - Programming Language Inherent Support for Ontologies. PhD thesis, Universität Karlsruhe (TH), Am Fasanengarten 5, 76137 Karlsruhe, Germany (July 2009), http://digbib.ubka.uni-karlsruhe.de/volltexte/ 1000019039
18. Protégé Wiki: Ontology Bean Generator (2007)
19. 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. 5318, pp. 130-145. Springer, Heidelberg (2008)
20. Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Bailey, M.W. (ed.) 7th Workshop on Scheme and Functional Programming (Scheme) ACM SIG-PLAN Notices, vol. 41. ACM Press, New York (2006)
21. Stanford University School of Medicine. Protégé knowledge acquisition system (2006)
22. Telecom Italia. Java Agent Development Framework, JADE (2007)
23. Thatte, S.R.: Quasi-static typing. In: 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 367-381. ACM Press, New York (1990)
24. Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of typed Scheme. ACM SIGPLAN Notices 43(1), 395-406 (2008)
25. Völkel, M.: RDFReactor - from ontologies to programmatic data access. In: 1st Jena User Conference (JUC). HP Bristol (May 2006)