A new version of WSML2Reasoner (v0.6.2 - download here) includes the newest IRIS reasoner (v0.5.7) and interface changes that more accurately reflect the true treatment of ontologies.

WSML2REASONER v0.6.2

The more accurate reflection of the true treatment of ontologies means basically that loading several ontologies in to the same reasoner assures that they all exist in the same reasoning space. Executing a query should not therefore require an ontology IRI, because the query is simply evaluated against all ontologies loaded in to that reasoner.

Consequently, there have been interface changes to the WSMLReasoner interface that duplicate almost every existing method. The duplicates have had the unnecessary (and actually not used) parameter ontologyIRI' removed.

IRIS v0.5.7

The important new features are:

• A well-founded semantics implementation for evaluating un-stratified logic programs
• A rule-augmentation step to allow unsafe rules to be evaluated by artificially restricting the universe of values.

Moreover, this version introduces other improvements such as:

• Unsafe-Rules
• Well-founded semantics

LINKS

Download page: http://tools.sti-innsbruck.at/wsml2reasoner/download.

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