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!

Completed Theses

Social Media Monitoring Tools enhanced by Semantic Web Technologies (Master)
Supervisor:
Student name:
Fabian Gasser
Completion Date:
July 23, 2015
Semantically Enabled Services for RESTful Services - Services for Registration, Discovery, Invocation and Monitoring of RESTful Web Services (Master)
Supervisor:
Student name:
Christian Mayr
Completion Date:
June 30, 2015
Management of Services and Virtualized Assets in Manufacturing (Master)
Supervisor:
Student name:
Benjamin Hiltpolt
Completion Date:
June 16, 2015
Interlinking social media feedback with product development (Master)
Supervisor:
Student name:
Lukas Ott
Completion Date:
June 6, 2015
Semantic Information Managment Infrastructure for Online Recommendation Process (Master)
Supervisor:
Student name:
Martin Kammerlander
Completion Date:
April 15, 2014
Impact analysis of online networks (Master)
Supervisor:
Student name:
Christoph Fuchs
Completion Date:
January 15, 2014
An approach and implementation for supporting muli-platform mobile service creation for businesses (Master)
Supervisor:
Student name:
Elias Kärle
Completion Date:
January 15, 2014
(Semantic) Search Engine Optimization (Bachelor)
Supervisor:
Student name:
Veronika Wenger
Completion Date:
June 15, 2013
Collection and Processing of Linked Data for Augmented Reality Real-time Mobile Services (Master)
Supervisor:
Student name:
Egon Zemmer
Completion Date:
June 15, 2013
An approach to energy efficiency policies modeling and recommendation to the end users (Bachelor)
Supervisor:
Student name:
Marco Plattner
Completion Date:
June 15, 2013
Interactive Energy Consumption Monitoring with the Use of Mobile Devices (Bachelor)
Supervisor:
Student name:
Andreas Schmid
Completion Date:
June 15, 2013
Clustering WSDL-based Web Services (Master)
Supervisor:
Student name:
Simon Knoll
Completion Date:
January 15, 2013
Search Engine Optimization: An Enterprise Use Case (Master)
Supervisor:
Student name:
Franz Bewaller
Completion Date:
December 15, 2012
An Extensible Sensor-Based System for Enhancement of Social Experience at Conferences (Master)
Supervisor:
Student name:
Michael Fried
Completion Date:
February 15, 2012
RIF4J - A Reasoning Engine for RIF-BLD (Master)
Student name:
Adrian Marte
Completion Date:
March 23, 2011
Web 2.0 collaborative website: TourInfo (Bachelor)
Supervisor:
Student name:
Egon Zemmer
Completion Date:
July 15, 2010
ELLY - An ELP Reasoner (Master)
Supervisor:
Student name:
Daniel Winkler
Completion Date:
January 29, 2010
EASAIER Semantic Music Retrieval Portal (Bachelor)
Supervisor:
Student name:
Michael Luger
Completion Date:
November 2, 2009
Bibliographic Resource Management Based on Semantic Web Technologies (Bachelor)
Supervisor:
Student name:
Michael Luger
Completion Date:
November 2, 2009
Erweiterung von OS Webshops und OS CMS für Semantic-Web-basierten E-Commerce (Master)
Supervisor:
Student name:
Alexander Stolz
Completion Date:
September 17, 2009
WSMLDoc: Implementation of a WSML Documentation Tool (Bachelor)
Supervisor:
Student name:
Boban Milanovic
Completion Date:
September 15, 2009
A Distributed Triple Space Realization (Master)
Supervisor:
Student name:
Daniel Blunder
Completion Date:
June 15, 2009
XML parser extension for WSMO4J (Bachelor)
Supervisor:
Student name:
Hannes Innerhofer
Completion Date:
October 14, 2007
TSC Implementation for Mobile Devices (Bachelor)
Supervisor:
Student name:
Mark Mattern
Completion Date:
August 15, 2006
Java API for Mobile TSC/YARS (Bachelor)
Supervisor:
Student name:
Matthias Farwick
Completion Date:
July 15, 2006
Testbed for Mobile TSC (Bachelor)
Supervisor:
Student name:
David Hellekalek
Completion Date:
June 15, 2006
Ontology assisted online channel recommendation (Master)
Supervisor:
Student name:
Benjamin Thürauf, Josef Wolf
Transforming BMEcat Catalogs into Semantic Web Data for Offerings (Master)
Supervisor:
Student name:
Mark Mattern
A generic platform for games generating semantic data (Master)
Supervisor:
Student name:
Werner Huber
Deployment of a web application/service (Bachelor)
Supervisor:
Student name:
Christoph Fuchs, Adrian Marte
Integrated user tool for creation, registration and invocation of Semantic Services (implementation) (Bachelor)
Supervisor:
Student name:
Manuel Brunner
Location-based Authentication for Mobile Devices (Bachelor)
Supervisor:
Student name:
Matthias Pressnig
Social Tagging Wrapper (Bachelor)
Supervisor:
Student name:
Michael Fried
Distributed Discovery for Web Services (survey and implementation) 2/2 (Bachelor)
Supervisor:
Student name:
Thomas Berger
The role of Non-Functional Properties in Service descriptions (survery) (Bachelor)
Supervisor:
Student name:
Philip Kahle
Implementation and Evaluation of SAT algorithms for Propositional Logic (Bachelor)
Student name:
Christian Eder
Distributed Discovery for Web Services (survey and implementation) 1/2 (Bachelor)
Supervisor:
Student name:
Stefan Pröll
Screen Scraper – Technology, Comparison, Application (Bachelor)
Supervisor:
Student name:
Kathrin Prantner
Survey on Distributed Reasoning (Bachelor)
Student name:
Florian Girtler
Implementation and Evaluation of a method to learn Ontologies from Folksonomies (Bachelor)
Supervisor:
Student name:
Simon Hangl
Overview of Techniques for Solving the SAT Problem in Propositional Logics (Bachelor)
Student name:
Christian Eder
An Evaluation of JavaScript Frameworks for Web Service Invocation (Bachelor)
Student name:
Mark Mattern
Survey on Goal driven Architectures (Bachelor)
Supervisor:
Student name:
Florian Rhomberg
An economic model of reusing ontologies (Master)
Supervisor:
Student name:
Daniel Laimer
Abstraction in Group-based Service Discovery (Bachelor)
Supervisor:
Student name:
Florian Fischer
Unit Testing for Ontologies (Bachelor)
Student name:
Martin Tanler
Web Data Extraction and Reconditioning (Bachelor)
Student name:
Alex Stolz
Identifying Popularity of Tags and Concepts in User-Generated Content (Bachelor)
Supervisor:
Student name:
Corneliu Valentin Stanciu
Implementation of a Tableau-based Decision Procedure for the Description Logic ALC (Bachelor)
Student name:
Simon Knoll
Social Network Analyzer (Bachelor)
Supervisor:
Student name:
Daniel Bachlechner
Semantic frameworks for Grid and Web Services (survey) (Bachelor)
Supervisor:
Student name:
Stefan Pröll
STI Kudos – An Infrastructure for Management of Semantic Community Challenges (Bachelor)
Supervisor:
Student name:
Clamens Sauerwein
From Visual Web Scrapping to Semantic Annotations (Master)
Supervisor:
Student name:
Stefan Prugger
Social bookmarking of Semantic Web services (Bachelor)
Student name:
Patrick Kammerlander, Marco Dalle Pezze
Online Evaluation System (Bachelor)
Supervisor:
Student name:
Benedikt Pfurtscheller, Pire Dejaco
Web Services Development (Bachelor)
Student name:
Katharina Siorpaes
Extraction of Synonyms in User-Generated Content (Bachelor)
Supervisor:
Student name:
Alex Oberhauser
Enabling Semantic eMail Adressing (Bachelor)
Student name:
Philippe Roedlach
A survey on Web Services Composition (Bachelor)
Supervisor:
Student name:
Kathrin Prantner
Wikis und Blogs (Bachelor)
Supervisor:
Student name:
Manuela Weitlanter
Visions of Semantic Content Management Systems (Bachelor)
Student name:
Stefan Thaler
Extension of a Datalog Reasoner with Top-down Evaluation (Bachelor)
Student name:
Christop Fuchs
A survey on Web Services Composition (Bachelor)
Supervisor:
Student name:
Katharina Siorpaes
WSMX (Bachelor)
Supervisor:
Student name:
Thomas Haselwanter
OntoSpend: A Prototype of Ontology-based Spend Analysis (Master)
Supervisor:
Student name:
Andreas Radinger
Security awareness and the Semantic Web (Master)
Supervisor:
Student name:
Kathrin Prantner
Development of a Thunderbird extension for Semantic eMail Adressing (Bachelor)
Student name:
Philipp Reisinger
Transactions and Flow in Web Services (Bachelor)
Supervisor:
Student name:
Uzochukwu Ejike
STI Emporium - a central marketplace for semantic technology community (Bachelor)
Supervisor:
Student name:
Wolfgang Eckbauer
AI Planning and Web Services (Bachelor)
Supervisor:
Student name:
Britta Tautermann
WSML Logical Expression Templates (WSLET) (Bachelor)
Supervisor:
Student name:
Werner Bliem
WSML-DL Reasoner (Bachelor)
Student name:
Nathalie Steinmetz
Inferencing and Reasoning with the Ontology Web Language (OWL) (Bachelor)
Student name:
Michael Felderer
AI Planning and Web Services (Bachelor)
Supervisor:
Student name:
Hannes Tammerle
An Annotation System based on the SA Methodology (Bachelor)
Supervisor:
Student name:
Christian Ammendola
Ubiquitous Computing vs. Privatsphäre am Beispiel von Location Based Services (Bachelor)
Supervisor:
Student name:
Melanie Plattner
Dynamic website and communication efforts (Bachelor)
Supervisor:
Student name:
Stefan Kirchmair
Web 2.0 collaborative website: TourInfo (Bachelor)
Supervisor:
Student name:
Egon Zemmer
Deriving ontologies from folksonomies (Master)
Supervisor:
Student name:
Alexander Gamper
A Manual Annotation Approach Based on Ontologies (Bachelor)
Supervisor:
Student name:
Christian Ammendola
Semantic Web and e-Tourism: Investigating opportunities and downfalls of applying Semantic Web technology in e-tourism (Master)
Supervisor:
Student name:
Katharina Siorpaes
Reasoning with Ontologies (Bachelor)
Student name:
Doris Silbernagl
Web based multimedia annotation (Bachelor)
Supervisor:
Student name:
Bernhard Sprenger
Social tagging management (Master)
Supervisor:
Student name:
Hofmann Martin
Exploring Propositional Local-Search Procedures for Tableau-based Reasoning in the Description Logic ALC (Bachelor)
Student name:
Adrian Marte
Combining First-Order Logic and Logic Programs (Master)
Supervisor:
Student name:
Michael Felderer
A cost estimation model for Web 2.0 knowledge structures (Master)
Supervisor:
Student name:
Christian Hofer
Approximate Web service composition with Horn theories (Master)
Supervisor:
Student name:
James Scicluna
Implementation and visualization of the BDD-Tableau Calculus for the Description Logic ALC (Bachelor)
Student name:
Markus Ruepp
Visualizing WSML using an UML Profile (Bachelor)
Student name:
Martin Tanler
Game-based multimedia interlinking (Master)
Supervisor:
Student name:
Stefan Thaler
OntoNaviERP - Ontology-supported Navigation in ERP Software Documentation (Master)
Supervisor:
Student name:
Andreas Wechselberger
An efficient interface for collaborative ontology engineering (Master)
Supervisor:
Student name:
Andreas Klotz
Implementation of an OWL import in WSMO4J (Bachelor)
Student name:
Andreas Frankl
Evaluation of Content Management Systems (Bachelor)
Supervisor:
Student name:
Philipp Reisinger