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

RIF4J - A Reasoning Engine for RIF-BLD (Master)
Student name:
Adrian Marte
Completion Date:
March 23, 2011
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
Security awareness and the Semantic Web (Master)
Supervisor:
Student name:
Kathrin Prantner
Development of a Thunderbird extension for Semantic eMail Adressing (Bachelor)
Supervisor:
Student name:
Philipp Reisinger
WSMX (Bachelor)
Supervisor:
Student name:
Thomas Haselwanter
OntoSpend: A Prototype of Ontology-based Spend Analysis (Master)
Supervisor:
Student name:
Andreas Radinger
WSML Logical Expression Templates (WSLET) (Bachelor)
Supervisor:
Student name:
Werner Bliem
WSML-DL Reasoner (Bachelor)
Supervisor:
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:
Britta Tautermann
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)
Supervisor:
Student name:
Michael Felderer
AI Planning and Web Services (Bachelor)
Supervisor:
Student name:
Hannes Tammerle
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
Deriving ontologies from folksonomies (Master)
Supervisor:
Student name:
Alexander Gamper
Exploring Propositional Local-Search Procedures for Tableau-based Reasoning in the Description Logic ALC (Bachelor)
Supervisor:
Student name:
Adrian Marte
Combining First-Order Logic and Logic Programs (Master)
Supervisor:
Student name:
Michael Felderer
Reasoning with Ontologies (Bachelor)
Supervisor:
Student name:
Doris Silbernagl
Web based multimedia annotation (Bachelor)
Supervisor:
Student name:
Bernhard Sprenger
Social tagging management (Master)
Supervisor:
Student name:
Hofmann Martin
Implementation and visualization of the BDD-Tableau Calculus for the Description Logic ALC (Bachelor)
Supervisor:
Student name:
Markus Ruepp
Visualizing WSML using an UML Profile (Bachelor)
Supervisor:
Student name:
Martin Tanler
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 of an OWL import in WSMO4J (Bachelor)
Supervisor:
Student name:
Andreas Frankl
Evaluation of Content Management Systems (Bachelor)
Supervisor:
Student name:
Philipp Reisinger
STI Emporium - a central marketplace for semantic technology community (Bachelor)
Supervisor:
Student name:
Wolfgang Eckbauer
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
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
Game-based multimedia interlinking (Master)
Supervisor:
Student name:
Stefan Thaler
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
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
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) 1/2 (Bachelor)
Supervisor:
Student name:
Stefan Pröll
Screen Scraper – Technology, Comparison, Application (Bachelor)
Supervisor:
Student name:
Kathrin Prantner
Implementation and Evaluation of SAT algorithms for Propositional Logic (Bachelor)
Supervisor:
Student name:
Christian Eder
Overview of Techniques for Solving the SAT Problem in Propositional Logics (Bachelor)
Supervisor:
Student name:
Christian Eder
An Evaluation of JavaScript Frameworks for Web Service Invocation (Bachelor)
Supervisor:
Student name:
Mark Mattern
Survey on Distributed Reasoning (Bachelor)
Supervisor:
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)
Supervisor:
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)
Supervisor:
Student name:
Simon Knoll
Social Network Analyzer (Bachelor)
Supervisor:
Student name:
Daniel Bachlechner
Web Data Extraction and Reconditioning (Bachelor)
Supervisor:
Student name:
Alex Stolz
Identifying Popularity of Tags and Concepts in User-Generated Content (Bachelor)
Supervisor:
Student name:
Corneliu Valentin Stanciu
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
From Visual Web Scrapping to Semantic Annotations (Master)
Supervisor:
Student name:
Stefan Prugger
Enabling Semantic eMail Adressing (Bachelor)
Supervisor:
Student name:
Philippe Roedlach
A survey on Web Services Composition (Bachelor)
Supervisor:
Student name:
Kathrin Prantner
Web Services Development (Bachelor)
Supervisor:
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)
Supervisor:
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
Visions of Semantic Content Management Systems (Bachelor)
Student name:
Stefan Thaler