iris integrated rule inference system to run in windows online over linux online

We have hosted the application iris integrated rule inference system to run in windows online over linux online in order to run this application in our online workstations with Wine or directly.

Quick description about iris integrated rule inference system to run in windows online over linux online:

IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.

Audience: Science/Research.
User interface: Command-line, Java Swing.
Programming Language: Java.

.