IRIS - Integrated Rule Inference System
betaDescription
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.
IRIS - Integrated Rule Inference System Web SiteUser Ratings
User Reviews
Be the first to post a review of IRIS - Integrated Rule Inference System!