Universität Innsbruck

STI 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
Online Communication and Marketing	Fensel, A., Toma, I., García, J. M., Stavrakantonakis, I., & Fensel, D. (2014). Enabling customers engagement and collaboration for small and medium-sized enterprises in ubiquitous multi-channel ecosystems. Computers in Industry, 65(5), 891-904.
Booking and Yield Management	Talluri, K., van Ryzin, G. (2004). The Theory and Practice of Revenue Management, Springer-Verlag US. van Ryzin, G., Talluri, K. (2005). An Introduction to Revenue Management. In INFORMS Tutorials in Operations Research, 142-194.

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
Knowledge Representation, Search, and Rules	Knowledge Representation The Crowd: Knowledge Representation and Reasoning, wikipedia.org A. Newell: The Knowledge Level, AI 18:87-127, 1982, Sections 3 & 4 R. J. Brachman: What's in a concept: structural foundations for semantic networks, Int. J. Man-Machine Studies, 9:127-152, 1977 R. J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks, IEEE Computer, 16(10), 1983 D. Lenat & R. V. Guha: Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, January 1990, Sections 1 & 2 TR. J. Brachman & H. J. Levesque (eds): Readings in Knowledge Representation, Section 4, Section 10, nbsp;Section 11 Search The Crowd: AI - Popular Search Algorithms, tutorialspoint.com R. Dechter & J. Pearl: Generalized best-first search strategies and the optimality of A, Journal of the ACM 32(3): 505-536, 1985 S. Russel & P. Norvig: AI : a modern approach, Prentice Hall, 2003, Section 6 D.Fensel and M.Wiese: Refinement of Rule Sets with Jojo (short paper), In P.B. Brazdil (ed.), Machine Learning: ECML-93, Lecture Notes in artificial Intelligence, LNAI 667, Springer-Verlag, Berlin, 1993 Rules* S. Russel & P. Norvig: AI : a modern approach, Prentice Hall, 2003, Section 7 J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I, Computer Science Press, 1988, Section 3 J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II, Computer Science Press, 1988, Sections 12 & 13 R. J. Brachman & H. J. Levesque: Knowledge Representation and Reasoning, Morgan Kaufmann, 2004, Section 5,Section 7 The Jboss Drools team: Drools Expert User Guide, docs.jboss.org, Sections 1, 2, 5, self study: 4 & 6
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.