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, Softgress 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 business processes. The result of the process mediation is a new process able to interact with the p ...
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 implementation and is released under the GNU LESSER GENERAL PUBLIC LICENSE. ...
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 reasoning with formally represented knowledge. Currently, IRIS is an engine for safe Datalog programs wi ...
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 Is Not Silri, it is based on the SILRI inference engine by Stephan Decker and Jürgen Angele.MINS is ...
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 typical classes of ontology engineering processes such as ontology building, reuse or maintenance. ...
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-automatic creation of ontology mappings. OMT offers a set of features such as multiple ontology perspective ...
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 supports the simple, RDF, RDFS and extensional RDFS (eRDFS) entailment regimes. The implementation i ...
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 preprocesses the incoming RDF/XML data so that the RDF statements are captured in a predictable way, independ ...
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 services installations.  tsc++ was originally based on the FIT-IT TSC project and was initiate ...
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. The WSMT aims to aid developers of Semantic Web Services through the WSMO paradigm, by providing a ...
Website: http://wsmt.sourceforge.net

The WSML2Reasoner framework is a modular architecture that combines various validation, normalization and transformation algortihms to translate ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines. WSML2Re ...
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 WSMO API provides several core functionalities: Modeling,Validation, Parsing, Serializing, Import/Expor ...
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 Core is a release of the compiled core of WSMX, which act as a platform for and a manager of the indi ...
Website: http://sourceforge.net/projects/wsmx/

The Instance Transformation Engine for Data Mediation is a run-time engine capable of performing instance transformation for given pairs of ontologies based on a given set of mappings. These mappings are represented as statements in the Ontology Ali ...
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 distributed under an LGPL license. ...
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 standard WSMX distribution and is distributed under an LGPL license. ...
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 distribution and is distributed under an LGPL license. ...
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 NFPs rules evaluation. The goals and services used in the prototype are from the SWS Challenge exten ...
Website: http://wiki.wsmx.org/index.php?title=Adaptation