Welcome, Guest! Log In | Create Account

Share

IRIS - Integrated Rule Inference System

by bazbishop237, florianfischer, morcen

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.


http://www.iris-reasoner.org/

Scientific/Engineering

Project Feed

IRIS - Integrated Rule Inference System Actions