We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies seekda, Playence and Semsphere!

      -Icon AAIcon +Icon

Downloads

On this page you can find tools created by (or in cooperation with) members of STI.

The Process Mediation Design-Time Tool allows a business analyst to identify and to solve the heterogeneity problems that may appear between various ...
Website: http://www.wsmx.org

ELLY is a reasoner for entailment and satisfiability checking of ELP rule bases. It is written in Java, relies on the IRIS Datalog reasoner for its i...
Website: http://sourceforge.net/projects/elly

IRIS (short for Integrated Rule Inference System) aims to be a framework consisting of a collection of components which cover various aspects of reas...
Website: http://www.iris-reasoner.org/

MINS is a reasoner for Datalog programs with negation and function symbols and supports the Well-Founded Semantics. The acronym MINS stands for Mins ...
Website: http://tools.sti-innsbruck.at/mins/

ONTOCOM is a cost estimation model for the area of Ontology Engineering, whose goal is to predict the costs (expressed in person months) arising in t...
Website: http://ontocom.sti-innsbruck.at

The Ontology Mapping Tool (OMT) is an Eclipse plug-in part of the Web Service Modeling Toolkit (WSMT), designed to offer support for the semi-automat...
Website: http://wsmt.sourceforge.net

RDF-AI is a tool for alignment, fusion and interlinking of RDF datasets.
Website: http://code.google.com/p/rdfai/

The RDFS Reasoner translates ontology descriptions in RDFS to predicates and rules. It is using IRIS as an underlying reasoning engine and currently ...
Website: http://tools.sti-innsbruck.at/rdfs-reasoner/v0.2/

RDFXSLT is a package that simplifies using XSLT and XPath to process arbitrary RDF/XML data. The first part of RDFXSLT is a stylesheet that preproces...
Website: http://www.wsmo.org/TR/d24/d24.2/v0.1/20070412/rdfxslt.html

tsc++ is an implementation of the TSC communication and coordination paradigm  for the Service Web and large scale Semantic Web and Semantic Web...
Website: http://tsc.sti2.at

The Web Services Modeling Toolkit (WSMT) is an Integrated Development Environment (IDE) for Semantic Web Services developed for the Eclipse framework...
Website: http://wsmt.sourceforge.net

The WSML2Reasoner framework is a modular architecture that combines various validation, normalization and transformation algortihms to translate onto...
Website: http://tools.sti-innsbruck.at/wsml2reasoner/

WSMO4J is a Java-based API and a reference implementation for buildingSemantic Web Services based on the Web Service Modeling Ontology(WSMO). The WSM...
Website: http://wsmo4j.sourceforge.net/

Web Services Execution Environment (WSMX) is a sample implementation of an execution enviroment for the Web Services Modeling Ontology (WSMO). WSMX C...
Website: http://www.wsmx.org

The Instance Transformation Engine for Data Mediation is a run-time engine capable of performing instance transformation for given pairs of ontologie...
Website: http://wiki.wsmx.org/index.php?title=Mediation

Within WSMX a keyword based engine has been developed that operates over WSML files. This engine is part of the standard WSMX distribution and is di...
Website: http://wiki.wsmx.org/index.php?title=Discovery

Within WSMX a lightweight Description Logic (DL) discovery engine has been developed that operates over WSML files. This engine is part of the standa...
Website: http://wiki.wsmx.org/index.php?title=Discovery

Within WSMX a lightweight rule discovery engine has been developedthat operates over WSML files. This engine is part of the standard WSMX distributio...
Website: http://wiki.wsmx.org/index.php?title=Discovery

The WSMX ranking component prototype provides the following functionality: simple keyword-based ranking  multiple criteria ranking based on N...
Website: http://wiki.wsmx.org/index.php?title=Adaptation

YODLR is a novel experimental platform for reasoning in Description Logics (DLs) and related Modal Logics. It is based on the SAT-Tableau Cal...
Website: http://www.yodlr-reasoner.net/