WSML2Reasoner

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.

WSML

WSML (Web Service Modeling Language) is a family of formal ontology languages that are specifically aimed at describing Semantic Web Services. It's semantics is based on Description Logics, Logic Programming and First-Order Logic, with influences from F-Logic and frame-based representation systems. Conforming to the different influences, there exist five variants of WSML: WSML-Core, WSML-DL, WSML-Flight, WSML-Rule and WSML-Full. Currently, WSML2Reasoner has been implemented and tested using various reasoning engines that support all WSML variants with the exception of WSML-Full. For more infomation on WSML and the related working groups, please refer to the following links:

The continued development of WSML2Reasoner has been funded in part by SOA4All a European Framework 7 research project.

Reasoners

The WSML2Reasoner framework has a flexible architecture that allows the easy integration of existing reasoning components. It first maps WSML to either generic Datalog or OWL (Web Ontology Language), and then uses a plug-in layer that translates to the specific internal representation of a single reasoning engine. In the following sections, we briefly discuss a few of the reasoning engines currently integrated and tested within the WSML2Reasoner framework.

IRIS - (WSML-Core, WSML-Flight, WSML-Rule)

IRIS, Integrated Rule Inference System, is an extensible reasoning engine for expressive rule-based languages. IRIS supports Datalog extended with stratified and well-founded negation, function symbols, unsafe-rules, XML schema data-types and an extensible set built-in predicates.

The IRIS libraries are included in the LGPL release. For further information, please visit the IRIS website.

KAON2 - (WSML-Core, WSML-Flight, WSML-DL)

KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. It has been integrated into the WSML2Reasoner framework in order to provide reasoning support for the WSML-Core, -Flight, and -DL variants. Contrary to most currently available DL reasoners, such as FaCT, FaCT++, RACER, DLP or Pellet, KAON2 does not implement the tableaux calculus. Rather, reasoning in KAON2 is implemented by novel algorithms which reduce a SHIQ(D) knowledge base to a disjunctive datalog program. For an overview of these algorithms, please refer to Reducing SHIQ- Descrption Logic to Disjunctive Datalog Programs. A detailed (and quite lengthy) technical presentation of all algorithms is given in Reasoning in Description Logics using Resolution and Deductive Databases.

KAON2 is is free of charge for universities for noncommecial academic usage (national laboratories are not considered universities). For commercial purposes, there is a commercial version of KAON2 called OntoBroker OWL. By downloading KAON2 (which is included in the WSML2Reasoner noncommercial release), you accept these license agreements.

For developers, specifically those using the WSML2Reasoner SDK release, the necessary KAON2 libs can be retrieved using the get-kaon2-jars-with-confirmation ANT target found in the build.xml included in the release. For further information, please visit the KAON2 website.

MINS - (WSML-Core, WSML-Flight, WSML-Rule)

MINS is a reasoner for Datalog programs with negation and function symbols which supports well-founded semantics. MINS stands for Mins Is Not Silri. It is based on SILRI, an inference engine developed by Jürgen Angele and Stefan Decker (Institute AIFB, University of Karlsruhe). Currently MINS supports the following evaluation methods:

  1. Naive evaluation (for stratified programs)
  2. Dynamic Filtering evaluation (for stratified programs)
  3. Well-founded evaluation with alternating fixed point
  4. Well-founded evaluation
All evaluation methods can handle negated rules too.

The MINS libraries are included in the GPL release. For further information, please visit the MINS website.

PELLET - (WSML-Core, WSML-DL)

Pellet is an open source, OWL DL reasoner written in Java that is developed, and commercially supported, by Clark & Parsia LLC. Pellet is based on the tableaux algorithms for expressive Description Logics (DL) and supports the full expressivity of OWL DL, including reasoning about nominals (enumerated classes).

Pellet provides standard and cutting-edge reasoning services. It also incorporates various optimization techniques described in the DL literature and contains several novel optimizations for nominals, conjunctive query answering, and incremental reasoning. There's more detailed information about the architecture of the system and its features in the Pellet Documentation.

Pellet is integrated into the WSML2Reasoner framework in order to provide DL reasoning support for WSML-DL ontologies (via translation from WSML-DL to OWL-DL). The Pellet libraries are included in the LGPL release. For further information, please visit the Pellet website.

News

02 Dec 2008

WSML2Reasoner version 0.6.4 released.
This version includes the latest (v0.6.2) WSMO4J jar files that contain many important bug fixes.

11 Nov 2008

WSML2Reasoner version 0.6.3 released.
This version includes refactoring work to simplify the interfaces to the different reasoner functionalities, i.e. to properly separate description logic and logic programming reasoning activities.
Numerous bugs have been fixed, including important fixes for date-time arithmetic and proper support for floating point seconds.
Also, there have been a number of fixes related to processing WSML relations and their instances.
This release also includes the latest IRIS v0.58 Datalog reasoner and a patched version of the wsmo4j jar files.