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
|
Enabling Domain-specific Validation of Schema.org Annotations (Master)
Supervisor:
Student name:
Omar Holzknecht Completion Date: January 15, 2019 |
|
Unification of Social Media APIs (Bachelor)
Supervisor:
Student name:
Patrick Lanzinger, Wolfgang Ramoser Completion Date: May 29, 2018 |
|
Linked Open Hotel (Master)
Supervisor:
Student name:
Daniel Laimer Completion Date: March 13, 2018 |
|
RML im eTourismus (Bachelor)
Supervisor:
Student name:
Maximilian Peintner Completion Date: March 20, 2017 |
|
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 |
|
Sensor-based Motion Recognition (Bachelor)
Supervisor:
Student name:
Markus Dissertori Completion Date: January 21, 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)
Supervisor:
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 |
|
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 |
|
Dynamic website and communication efforts (Bachelor)
Supervisor:
Student name: Stefan Kirchmair |
|
Web 2.0 collaborative website: TourInfo (Bachelor)
Supervisor:
Student name: Egon Zemmer |
|
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 |
|
Reasoning with Ontologies (Bachelor)
Student name: Doris Silbernagl |
|
Web based multimedia annotation (Bachelor)
Supervisor:
Student name: Bernhard Sprenger |
|
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 |
|
A cost estimation model for Web 2.0 knowledge structures (Master)
Supervisor:
Student name: Christian Hofer |
|
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 |
|
OntoNaviERP - Ontology-supported Navigation in ERP Software Documentation (Master)
Supervisor:
Student name: Andreas Wechselberger |
|
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 |
|
Transforming BMEcat Catalogs into Semantic Web Data for Offerings (Master)
Supervisor:
Student name: Mark Mattern |
|
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 |
|
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 Distributed Reasoning (Bachelor)
Student name: Florian Girtler |
|
Implementation and Evaluation of a method to learn Ontologies from Folksonomies (Bachelor)
Supervisor:
Student name: Simon Hangl |
|
Abstraction in Group-based Service Discovery (Bachelor)
Supervisor:
Student name: Florian Fischer |
|
Unit Testing for Ontologies (Bachelor)
Student name: Martin Tanler |
|
Survey on Goal driven Architectures (Bachelor)
Supervisor:
Student name: Florian Rhomberg |
|
An economic model of reusing ontologies (Master)
Supervisor:
Student name: Daniel Laimer |
|
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 |
|
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 |
|
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 |
|
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 |
|
Enabling Semantic eMail Adressing (Bachelor)
Student name: Philippe Roedlach |
|
A survey on Web Services Composition (Bachelor)
Supervisor:
Student name: Kathrin Prantner |
|
Web Services Development (Bachelor)
Student name: Katharina Siorpaes |
|
Extraction of Synonyms in User-Generated Content (Bachelor)
Supervisor:
Student name: Alex Oberhauser |
|
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 |
|
Wikis und Blogs (Bachelor)
Supervisor:
Student name: Manuela Weitlanter |
|
STI Emporium - a central marketplace for semantic technology community (Bachelor)
Supervisor:
Student name: Wolfgang Eckbauer |
|
Visions of Semantic Content Management Systems (Bachelor)
Student name: Stefan Thaler |
|
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 |
|
WSMX (Bachelor)
Supervisor:
Student name: Thomas Haselwanter |
|
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 |
|
Transactions and Flow in Web Services (Bachelor)
Supervisor:
Student name: Uzochukwu Ejike |
|
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 |
|
Inferencing and Reasoning with the Ontology Web Language (OWL) (Bachelor)
Student name: Michael Felderer |
Contact person in charge.