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

Master studies

Semantic Web
Semantic Web Services
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

Semantic Technology 1
  • J. Domingue, D. Fensel, and J. Hendler: Semantic Web Handbook, Springer, to appear in 2011
Semantic Technology 2
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
Information on the new PhD studies
PhD School
  • Information on the STI Innsbruck PhD School