A new version of WSML2Reasoner (v0.6.1) has been released (download here) that features the latest version of the IRIS datalog reasoner.

WSML2REASONER v0.6.1

The important changes when using WSML2Reasoner with IRIS are:

• Huge performance improvements
• Function symbols supported
• Reasoning with external instance data

PERFORMANCE IMPROVEMENTS

Initial testing shows that WSML2Reasoner with IRIS is outperforming WSML2Reasoner with KAON or MINS by at least a factor of about 10.

FUNCTION SYMBOLS

Function symbols are required to build new identifiers in mediation.

EXTERNAL DATA SOURCES

This allows reasoning with instance data that is not declared directly in an ontology. Instead, instance can be read from an external source, such as a relational database. The user of wsml2reasoner must provide an adaptor class that reads instance data when requested by the reasoner (during query answering).

LINKS

Download page: http://tools.deri.org/wsml2reasoner/download.

Additional info about IRIS reasoner: http://iris-reasoner.org/.