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
|
