IRIS Research Unit

WSML2Reasoner is a highly modular framework that combines various validation, normalization and transformation algorithms that enable the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines.

• Website: http://tools.sti-innsbruck.at/wsml2reasoner/
• Source code: http://sourceforge.net/projects/wsml2reasoner/files/wsml2reasoner/

OWL 2

The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents.

Elly Reasoner



Elly is a Reasoner for ELP knowledge bases, which has been presented as a useful hybrid between both logic programming and description logics that combines EL++ with DLP in a novel way and captures the semantics of the OWL 2 profiles RL and EL. Due to the integration of the OWL API , ELLY can be used as reasoner for the OWL 2 profiles EL and RL. ELLY already passes all (but one) OWL 2 EL conformance tests, see OWL Test Suite Status

• Website: http://elly.sourceforge.net/
• Source code: http://sourceforge.net/projects/elly/
• Underlying reasoner: IRIS Reasoner (see description in the "Tools" section below)

External resources related to OWL 2:

• OWL 2 Syntax Specification: http://www.w3.org/TR/owl2-syntax/
• OWL 2 Profiles Specification: http://www.w3.org/TR/owl2-profiles/
• OWL 2 API: http://owlapi.sourceforge.net/

RIF

RIF is the W3C Rule Interchange Format. It is a rule based language that supports various profiles, which differ in their expressivity. Furthermore, RIF defines a standard for datatypes, predicates and functions, which is called RIF BLD.

RIF Reasoner:

Our RIF reasoner supports the Basic Logic Dialect (RIF-BLD) and RIF Core, which is a syntactic and semantic subset of RIF-BLD. Furthermore, the reasoner currently supports all built-ins defined in the Datatypes and Built-Ins standard (RIF-DTB), except the RIF list related built-ins.

• Online demo: http://iris.sti-innsbruck.at/reasoners/rif-reasoner/
• RIF4J Framework: RIF4J
• Underlying reasoner: IRIS Reasoner

External resources related to RIF:

• RIF Working Group: http://www.w3.org/2005/rules/wiki/RIF_Working_Group
• RIF-Core Specification: http://www.w3.org/TR/rif-core/
• RIF-BLD Specification: http://www.w3.org/TR/rif-bld/

RDFS

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 is based on the work described in [de Bruijn et al. 2007].

RDFS Reasoner:

• Online demo: http://tools.sti-innsbruck.at/rdfs-reasoner/v0.2/

External resources related to OWL 2:

• RDFS Specification: http://www.w3.org/TR/rdf-schema/

WSML

The Web Service Modeling Language WSML is a language for the specification of ontologies and different aspects of Web services. In this respect WSML provides a syntax and semantics for the Web Service Modeling Ontology WSMO.

WSML Reasoner:

• WSML-DL online demo: http://iris.sti-innsbruck.at/reasoners/wsml-dl-reasoner/
• WSML-Rule online demo: http://iris.sti-innsbruck.at/reasoners/wsml-rule-reasoner/

External resources related to WSML:

• WSML Specification: http://www.wsmo.org/TR/d16/
• WSML Website: http://www.wsmo.org/wsml/

Tools