STI Innsbruck

Universität Innsbruck

Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

Curriculum

We recommend the following curriculum for acquiring background knowledge on semantic technologies.

Bachelor studies

Logic	J.W. Lloyd: Foundations of Logic Programming (2nd ed.), Springer, 1987 M. Fitting: First-Order Logic and Automated Theorem Proving (2nd ed.), Springer, 1996
Intelligent Systems	Görz et. al. (eds.): Handbuch der Künstlichen Intelligenz, Oldenbourg Verlag, 2000
Web Services	Gustavo Alonso, Fabio Casati, Harumi Kuno, Vijay Machiraju: Web Services - Concepts, Architectures and Applications. Springer, 2004
Bachelor Seminar	R. M. Pirsig: Zen and the Art of Motorcycle Maintenance, William Morrow & Company, 1974 B. Latour: We have never been modern, Harvard University Press, 1993
Seminar with Bachelor thesis	Garr Reynolds: Presentation tips Simon Peyton Jones: How to give a great research talk

Master studies

Semantic Web	J. Domingue, D. Fensel, and J. Hendler: Semantic Web Handbook, Springer, to appear in 2011 T. Heath and C. Bizer. Linked Data: Evolving the Web into a Global Data Space, (1st edition), Morgan & Claypool, 2011.
Semantic Web Services	D. Fensel, F. Facca, E. Simperl and I.Toma. Semantic Web Services Textbook, Springer, to appear (2011)
Web Engineering	G. Kappel, B. Pröll, S. Reich, and W. Retschitzegger: Web Engineering, John Wiley & Sons Ltd., 2006
Master Seminar	D. Fensel et. al: Enabling Semantic Web Services: The Web Service Modeling Ontology, Springer, 2007 J. de Bruijn et. al: Modeling Semantic Web Services: The Web Service Modeling Language, Springer, 2008 D. Fensel et. al (eds.): Implementing Semantic Web Services - The SESA Framework, Springer, 2008
Introduction to Modelling	John Deacon: Object-Oriented Analysis and Design, Addison-Wesley, 2005 Schreiber et al.: Knowledge Engineering and Management: The CommonKADS Methodology, MIT Press, 1999 Gomez-Perez et al.: Ontological Engineering, Springer, 2004
Applied Ontology Engineering	Gomez-Perez et al.: Ontological Engineering, Springer, 2004

PhD studies	Alan Bundy's How-To guide
Semantic Technology 1	J. Domingue, D. Fensel, and J. Hendler: Semantic Web Handbook, Springer, to appear in 2011
Semantic Technology 2	T. Heath and C. Bizer. Linked Data: Evolving the Web into a Global Data Space, (1st edition), Morgan & Claypool, 2011.
PhD Seminar	D. Fensel: Problem-Solving Methods: Understanding, Development, Description, and Reuse, Springer, 2000 D. Fensel and E. Motta: Structured Development of Problem Solving Methods, IEEE Transactions on Knowledge and Data Engineering, 13(6), 2001 P. van Eck et. al: A Survey of Languages for Specifying Dynamics: a Knowledge Engineering Perspective, IEEE Transactions on Knowledge and Data Engineering, 13(3):462-496, 2001 E. Börger and R. Stärk: Abstract State Machines: A Method for High-Level System Design and Analysis, Springer, 2003 D. Fensel et. al: Lessons Learned from Applying AI to the Web, Journal of Cooperative Information Systems, 9(4), 2000 K. Marx: Das Kapital, Chapter 1-5
Curriculum of the PhD studies	Mitteilungsblatt of the University of Innsbruck, March 20, 2009 English Version of the curriculum
Information on the new PhD studies	University of Innsbruck Institute of Computer Sciences
PhD School	Information on the STI Innsbruck PhD School

Contact person in charge.